Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
A Formal Basis for a Program Compilation Proof Tool
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
An analysis of forward simulation data refinement
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
| Hi-index | 0.89 |