Skip to content

Towards a Theory for the Animation of Algebraic Specification.

Catharina Rieckhoff

Year1992
ProceedingsCOMPASS/ADT

Browse the full COMPASS paper archive.