Integrating abstract data types with object-oriented programming by specification-based approach
Keyword(s):
Keyword(s):
1987 ◽
Vol 17
(11)
◽
pp. 757-782
◽
Keyword(s):
Keyword(s):
2007 ◽
Vol 17
(3)
◽
pp. 183-203
◽