A Refinement Methodology for Object-Oriented Programs
Keyword(s):
1997 ◽
Vol 48
(4)
◽
pp. 451-452
◽
Keyword(s):
1995 ◽
Vol 34
(04)
◽
pp. 310-317
◽
Keyword(s):
1996 ◽
Vol 35
(01)
◽
pp. 52-58
◽
2018 ◽
Vol 7
(2)
◽
pp. 144