Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An Execution Architecture for GSL
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
An operational semantics for ZCCS
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Hi-index | 0.00 |