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
Developing BON as an Industrial-Strength Formal Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal Development of Databases in ASSO and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Exploiting Formality in Software Engineering
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
Translating structured database schemas into abstract machines
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
| Hi-index | 0.01 |