The Key System: Integrating Object-Oriented Design and Formal Methods
- 15 March 2002
- book chapter
- Published by Springer Nature
- p. 327-330
- https://doi.org/10.1007/3-540-45923-5_23
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A Dynamic Logic for the Formal Verification ofJava Card ProgramsPublished by Springer Nature ,2001
- The Approach: Integrating Object Oriented Design and Formal VerificationPublished by Springer Nature ,2000