Combining object-oriented analysis and formal description techniques
2006 ◽
pp. 344-364
◽
1996 ◽
Vol 61
(485)
◽
pp. 155-164
◽
Keyword(s):
Keyword(s):