[DOWNLOAD] ~ NASA Formal Methods # by Ritchie Lee, Susmit Jha, Anastasia Mavridou & Dimitra Giannakopoulou ~ Book PDF Kindle ePub Free
eBook details
- Title: NASA Formal Methods
- Author : Ritchie Lee, Susmit Jha, Anastasia Mavridou & Dimitra Giannakopoulou
- Release Date : January 10, 2020
- Genre: Software,Books,Computers & Internet,Computers,Network,
- Pages : * pages
- Size : 34600 KB
Description
The chapter “Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.