Hidden Coinduction: Behavioral Correctness Proofs for Objects (1999)

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

Document Versions

Hidden Coinduction: Behavioral Correctness Proofs for Objects –Joseph A. Goguen, Grant Malcolm — 1999 — Mathematical Structures in Computer Science
Hidden Coinduction: Behavioral Correctness Proofs for Objects –Joseph A. Goguen, Grant Malcolm — 1999 — MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE