Skip to content

Structured and Formal Methods: An Investigative Framework.

Michael G. Hinchey

VenueA*ICSE
Year1993
ProceedingsICSE Workshop on Studies of Software Design

Browse the full ICSE paper archive.