Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Automatic Construction of Validated B Components from Structured Developments
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Type Synthesis in B and the Translation of B to PVS
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
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
Compositional Symmetric Sharing in B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
BRILLANT: An Open Source and XML-based platform for Rigourous Software Development
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
The B Method And The Component-Based Approach
Journal of Integrated Design & Process Science
The Composition of Event-B Models
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
BE4: the b extensible eclipse editing environment
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Relaxing b sharing restrictions within CSP||B
SC'12 Proceedings of the 11th international conference on Software Composition
Hi-index | 0.00 |