Representing WP Semantics in Isabelle/ZF
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Performing Algorithmic Refinement before Data Refinement in B
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
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
A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Term transformers: A new approach to state
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introducing backward refinement into B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Calculational derivation of algorithms on tree-based pointer structures
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Hi-index | 0.00 |