Skip to content

The Use of Sorts in Algebraic Specifications.

Peter D. Mosses

Year1991
ProceedingsCOMPASS/ADT

Browse the full COMPASS paper archive.