Found 1 books ← Prev Page 1 Next →
[en] Computer Aided Verification, 31st International Conference, CAV 2019, New York City, NY, USA, July 15–18, 2019, Proceedings, Part II Springer
Isil Dillig & Serdar Tasiran & Chockler, Hana & Weissenbacher, Georg