Hidden Coinduction: Behavioral Correctness Proofs for Objects (1999)

by Joseph A. Goguen , Grant Malcolm
Venue:Mathematical Structures in Computer Science
Citations:24 - 8 self