Ebook: NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
- Tags: Computer Science, Software Engineering, Computer Systems Organization and Communication Networks, Theory of Computation
- Series: Lecture Notes in Computer Science 12229
- Year: 2020
- Publisher: Springer International Publishing
- Edition: 1st ed.
- Language: English
- pdf
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.
Download the book NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)