Skip to content

A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types.

Till Mossakowski

Year1994
ProceedingsCOMPASS/ADT

Browse the full COMPASS paper archive.