Integrating object-oriented analysis and formal specifications
1996 ◽
Vol 61
(485)
◽
pp. 155-164
◽
Keyword(s):