Skip to content

A Kernel Language for Algebraic Specification and Implementation - Extended Abstract.

Donald Sannella, Martin Wirsing

VenueBFCT
Year1983
ProceedingsFCT

Browse the full FCT paper archive.