Designing programs that check their work
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Checking computations in polylogarithmic time
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Handbook of theoretical computer science (vol. B): formal models and semantics
Handbook of theoretical computer science (vol. B): formal models and semantics
Finite-model theory—a personal perspective
ICDT Selected papers of the 4th international conference on Database theory
A Discipline of Programming
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
The Semantics of the C Programming Language
CSL '92 Selected Papers from the Workshop on Computer Science Logic
On deadlocks of exclusive AND-requests for resources
Distributed Computing
Yuri, logic, and computer science
Fields of logic and computation
| Hi-index | 0.00 |