A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Isomorphisms - A Link Between the Shallow and the Deep
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Encoding Object-Z in Isabelle/HOL
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
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
Towards formalising AADL in Proof Assistants
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |