Skip to content

A Simple Class of Algorithmic Specifications for Abstract Software Modules.

Herbert Klaeren

VenueBMFCS
Year1980
ProceedingsMFCS

Browse the full MFCS paper archive.