![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 11388 (20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings) || Lazy but Effective Functional Synthesis
Enea, Constantin, Piskac, RuzicaVolume:
10.1007/97
Year:
2019
Language:
english
DOI:
10.1007/978-3-030-11245-5_5
File:
PDF, 669 KB
english, 2019