Lamsweerde, "Making Specification Processes Explicit (1987)

by E Dubois E, A van
Venue:Proceedings 4th Intl. Workshop on Software Specification and Design (Monterey, Ca), IEEE Cat. No