Reaching Agreement in the Presence of Faults
Journal of the ACM (JACM)
Automatic Construction of Verification Condition Generators From Hoare Logics
Proceedings of the 8th Colloquium on Automata, Languages and Programming
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
How to Prove Algebraic Inductive Hypotheses Without Induction
Proceedings of the 5th Conference on Automated Deduction
Algebraic Denotational Semantics Using Parameterized Abstract Modules
Proceedings of the International Colloquium on Formalization of Programming Concepts
Higher order abstract data types
Higher order abstract data types
Hi-index | 0.00 |