1
Assuntos:
“...Case Frames...”
Model checking requirements written in a controlled natural language
Dissertação