Media type: E-Article Title: Integrating object-oriented analysis and formal specifications Contributor: Cheng, Betty H. C. imprint: Association for Computing Machinery (ACM), 2000 Published in: ACM SIGSOFT Software Engineering Notes Language: English DOI: 10.1145/340855.340873 ISSN: 0163-5948 Keywords: General Medicine Origination: Footnote: Access State: Open Access