Skip to content

Axiomatic Specification of Large Information Systems: Experiences and Consequences.

Heinrich Humann

Year1994
ProceedingsCOMPASS/ADT

Browse the full COMPASS paper archive.