Skip to content

Event Logic for Specifying Abstract Dynamic Data Types.

Gianna Reggio

Year1991
ProceedingsCOMPASS/ADT

Browse the full COMPASS paper archive.