NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra GiannakopoulouThe 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.
類別:
年:
2020
版本:
1st ed.
出版商:
Springer International Publishing;Springer
語言:
english
ISBN 10:
3030557545
ISBN 13:
9783030557546
系列:
Lecture Notes in Computer Science 12229
文件:
PDF, 22.53 MB
IPFS:
,
english, 2020