Logical Support for Modularisation (1993)

View PDF

Download Links

by Razvan Diaconescu , Joseph Goguen , Petros Stefaneas
Venue:LOGICAL ENVIRONMENTS
Citations:99 - 30 self