ACM Transactions on Programming Languages and Systems (TOPLAS)
A first course in program verification and the semantics of programming languages
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Implementing first order logic in Modula-2 using an intuitionistic approach
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
ACM Transactions on Programming Languages and Systems (TOPLAS)
A mechanically certified theorem about optimal concurrency of sorting networks
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Parametric shape analysis via 3-valued logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
VERking in constructive set theory
ACM SIGSOFT Software Engineering Notes
Components of verification technology
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Computer assisted reasoning with MIZAR
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |