EXTRACTING FORMAL MODELS FROM INFORMAL REQUIREMENTS AND USING THEM FOR VALIDATION

Trustees Of The University Of Pennsylvania, The

Investigators