Skip to content

Static Correctness of Hierarchical Procedures.

Michael I. Schwartzbach

VenueA*ICALP
Year1990
ProceedingsICALP

Browse the full ICALP paper archive.