Skip to content

New Results on Completeness and Consistency of Abstract Data Types.

Peter Padawitz

VenueBMFCS
Year1980
ProceedingsMFCS

Browse the full MFCS paper archive.