ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional Procedures in Higher-Order Logic
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Algebraic Methods for Optimization Problems
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Algebraic methods for optimization problems
Algebraic and coalgebraic methods in the mathematics of program construction
Early detection of JML specification errors using ESC/Java2
Proceedings of the 2006 conference on Specification and verification of component-based systems
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
ICSE '07 Proceedings of the 29th international conference on Software Engineering
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types
Electronic Notes in Theoretical Computer Science (ENTCS)
UTP semantics for web services
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Formal methods and hybrid real-time systems
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
A probabilistic BPEL-like language
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
| Hi-index | 0.89 |