PROSPER - An Investigation into Software Architecture for Embedded Proof Engines
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
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
Structural Embeddings: Mechanization with Method
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
Plug-in proof support for formal development environments
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Proving consistency of VDM models using HOL
Proceedings of the 2010 ACM Symposium on Applied Computing
On the integration of formal methods: events and Scenarios in PVS and VDM
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Towards Automated Consistency Checking of Module Interface Specifications
Fundamenta Informaticae
Hi-index | 0.00 |