An Implementation-Oriented Semantics for Module Composition (1997)

by Joseph Goguen , Will Tracz
Venue:In Gary Leavens and Murali Sitaraman, editors, Foundations of Component-based Systems
Citations:32 - 13 self