Program verification: the very idea
Communications of the ACM
The Formal Specification and Design of a Distributed Electronic Funds-Transfer System
IEEE Transactions on Computers
Parallel program design: a foundation
Parallel program design: a foundation
Mechanically Verifying Concurrent Programs with the Boyer-Moore Prove
IEEE Transactions on Software Engineering
Specification case studies
Social processes and proofs of theorems and programs
Communications of the ACM
Guest Editor's Introduction: Formal Methods in Software Engineering
IEEE Transactions on Software Engineering
Formal Derivation of Concurrent Programs: An Example from Industry
IEEE Transactions on Software Engineering
1983 Invited address solved problems, unsolved problems and non-problems in concurrency
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Specification and Verification of Large-Scale Reactive Programs
Specification and Verification of Large-Scale Reactive Programs
Formal Derivation of Concurrent Programs: An Example from Industry
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |