Normal view
MARC view
Computer Science (Topical Term)
Machine generated authority record
Work cat.: (OSt)1547255: Diaconescu Razvan Et Al 965533, Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification