Skip to content

Verifying incomplete and evolving specifications.

Claudio Menghi

VenueA*ICSE
Year2014
ProceedingsICSE Companion

Browse the full ICSE paper archive.