B
Find Any Book
Find
Discover
History
Saved
1 public-domain matches
Context Specification
Specification and verification of object-oriented software components
Andreas Roth