The Approach: Integrating Object Oriented Design and Formal Verification
- 19 September 2000
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Smart Card Application Development Using JavaPublished by Springer Nature ,2000
- A Programming Logic for Sequential JavaPublished by Springer Nature ,1999
- A Programmer Friendly Modular Definition of the Semantics of JavaPublished by Springer Nature ,1999
- Overview over the Project QuestPublished by Springer Nature ,1999
- Java card: Internet computing on a smart cardIEEE Internet Computing, 1997
- The Cogito development systemPublished by Springer Nature ,1997
- Formal methodsACM Computing Surveys, 1996
- The B Language and MethodPublished by Springer Nature ,1996
- The Kiv-approach to software verificationPublished by Springer Nature ,1995
- IsabellePublished by Springer Nature ,1994