FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Predicate Subtyping with Predicate Sets
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
PVS Embedding of cCSP Semantic Models and Their Relationship
Electronic Notes in Theoretical Computer Science (ENTCS)
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
A mechanical verification of the stressing algorithm for negative cost cycle detection in networks
Science of Computer Programming
The Mechanical Verification of a DPLL-Based Satisfiability Solver
Electronic Notes in Theoretical Computer Science (ENTCS)
Supporting field investigators with PVS: a case study in the healthcare domain
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
| Hi-index | 0.00 |