Composing Hidden Information Modules over Inclusive Institutions (2003)

Cached

Download Links

by Joseph Goguen , Grigore Rosu
Venue:In From Object-Orientation to Formal Methods: Essays in Honor of Johan-Ole Dahl
Citations:21 - 3 self