Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 268-282
- https://doi.org/10.1007/3-540-44659-1_17
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A logic of object-oriented programsPublished by Springer Nature ,1997
- IsabellePublished by Springer Nature ,1994