Interpreting the B-Method in the Refinement Calculus
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Efficient weakest preconditions
Information Processing Letters
ACM Transactions on Programming Languages and Systems (TOPLAS)
Acta Cybernetica
Angelic Nondeterminism and Unifying Theories of Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient weakest preconditions
Information Processing Letters
Model-based failure management for distributed reactive systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
NN'10/EC'10/FS'10 Proceedings of the 11th WSEAS international conference on nural networks and 11th WSEAS international conference on evolutionary computing and 11th WSEAS international conference on Fuzzy systems
WSEAS Transactions on Mathematics
From operational to denotational demonic semantics of nondeterministic while loops
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Monotone predicate transformers as up-closed multirelations
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
| Hi-index | 5.23 |