The LOCUS distributed system architecture
The LOCUS distributed system architecture
Simplification by Cooperating Decision Procedures
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract data types and the development of data structures
Communications of the ACM
Abstract data types and software validation
Communications of the ACM
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
On proving inductive properties of abstract data types
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Principles of proving concurrent programs in Gypsy
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs
Proceedings of the 5th Conference on Automated Deduction
Toward a theory of test data selection
Proceedings of the international conference on Reliable software
The specification and application to programming of abstract data types.
The specification and application to programming of abstract data types.
Formal techniques for the specification and verification of protocols
Formal techniques for the specification and verification of protocols
| Hi-index | 0.00 |