Simply Observable Behavioral Specification
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |