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