[Lecture Notes in Computer Science] Computer Aided Verification Volume 11562 (31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II) || Incremental Determinization for Quantifier Elimination and Functional Synthesis
Dillig, Isil, Tasiran, SerdarVolume:
10.1007/97
Year:
2019
Language:
english
DOI:
10.1007/978-3-030-25543-5_6
File:
PDF, 380 KB
english, 2019