- Record: found
- Abstract: not found
- Book Chapter: not found
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings
JKelloy: A Proof Assistant for Relational Specifications of Java Programs
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 references6
- Record: found
- Abstract: not found
- Book Chapter: not found
Integrating Model Checking and Theorem Proving for Relational Reasoning
- Record: found
- Abstract: not found
- Book Chapter: not found
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures
Zvonimir Rakamarić, Jesse Bingham, Alan Hu (2007)