Integrating Multiple Specifications Using Domain Goals (1989)

by Robinson
Venue:Proc. IWSSD-5 - 5th Intl. Workshop on Software Specification and Design, IEEE