Skip to content

Formal Specification and Automatic Programming.

Mehdi Jazayeri

VenueA*ICSE
Year1976
ProceedingsICSE

Browse the full ICSE paper archive.