- Record: found
- Abstract: not found
- Book Chapter: not found
Refinement to Imperative/HOL
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references15
- Record: found
- Abstract: not found
- Article: not found
Compositional shape analysis by means of bi-abduction
Cristiano Calcagno, Dino Distefano, Peter O'Hearn … (2009)
- Record: found
- Abstract: not found
- Article: not found
Permission accounting in separation logic
Matthew Parkinson, Peter O'Hearn, Richard Bornat … (2005)
- Record: found
- Abstract: not found
- Book Chapter: not found
A Note on On-the-Fly Verification Algorithms
Stefan Schwoon, Javier Esparza (2005)