A WP-calculus for OO

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-49019-1_10 ◽

1999 ◽

pp. 135-140 ◽

Cited By ~ 26

Author(s):

F. S de Boer

Download Full-text