![](/img/cover-not-exists.png)
Formal techniques for OO software development
America, Pierre, Coleman, Derek, Duke, Roger, Lea, Doug, Leavens, GaryVolume:
26
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/118014.117967
Date:
November, 1991
File:
PDF, 653 KB
english, 1991