Logical Support for Modularisation (1993)

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