Logical Support for Modularisation (1993)

by Razvan Diaconescu , Joseph Goguen , Petros Stefaneas
Venue:LOGICAL ENVIRONMENTS
Citations:91 - 29 self