Talks and Poster Presentations (with Proceedings-Entry):
E. Kotelnikov, L. Kovacs, A. Voronkov:
"A FOOLish Encoding of the Next State Relations of Imperative Programs.";
Talk: 9th International Joint Conference on Automated Reasoning (IJCAR) 2018,
- 2018-08-17; in: "Proceedings of the 9th International Joint Conference on Automated Reasoning (IJCAR) 2018",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.