Logical Support for Modularisation (1993)

by Razvan Diaconescu , Joseph Goguen , Petros Stefaneas
Venue:LOGICAL ENVIRONMENTS
Citations:85 - 28 self

Document Versions

Logical Support for Modularisation –Razvan Diaconescu , Joseph Goguen, Petros Stefaneas — 1993 — LOGICAL ENVIRONMENTS
Logical Support for Modularisation –Razvan Diaconescu, Joseph Goguen, Petros Stefaneas — 1993 — Logical Environments