A Structural Embedding of Ocsid in PVS
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
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
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
Hi-index | 0.00 |