A Programming Logic for Sequential Java
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 162-176
- https://doi.org/10.1007/3-540-49099-x_11
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- An Overview of Larch/C++: Behavioral Specifications for C++ ModulesPublished by Springer Nature ,2007
- Reasoning about Java classesPublished by Association for Computing Machinery (ACM) ,1998
- Programming Concepts and Methods PROCOMET ’98Published by Springer Nature ,1998
- Informatik ’97 Informatik als InnovationsmotorPublished by Springer Nature ,1997
- A logic of object-oriented programsPublished by Springer Nature ,1997
- Mechanizing Programming Logics in Higher Order LogicPublished by Springer Nature ,1989
- Centaur: the systemACM SIGPLAN Notices, 1988