Integrating multiple specifications using domain goals

Publisher Website

1 January 1989

proceedings article
Published by Association for Computing Machinery (ACM)

Vol. 14 (3), 219-226
https://doi.org/10.1145/75199.75232

Abstract

No abstract available

Cited by 58 articles