Proof-Theoretic Semantics Of Object-Oriented Specification Constructs (1990)

by J. Fiadeiro , C. Sernadas , T. Maibaum , G. Saake
Citations:17 - 5 self