Integrating Formal and Structured Methods in Object-Oriented System Development
1996 ◽
pp. 113-157
◽
1995 ◽
Vol 10
(2)
◽
pp. 293-336
◽
2011 ◽
Vol 15
(1)
◽
1990 ◽
Vol 15
(5)
◽
pp. 60-63
◽
Keyword(s):
2002 ◽
Vol 12
(4)
◽
pp. 249-281
◽
Keyword(s):
Keyword(s):
1993 ◽
Vol 35
(11-12)
◽
pp. 702