Skip to content

Automatic Validation and Correction of Formalized, Textual Requirements.

Jrg Holtmann, Jan Meyer, Markus von Detten

VenueAICST
Year2011
ProceedingsICST Workshops

Browse the full ICST paper archive.