Walling R. Cyre
-
Generating Validation Feedback for Automatic Interpretation of Informal Requirements
Formal Methods in System Design