Talks and Poster Presentations (with Proceedings-Entry):

Y. Chen, L. Kovacs, S. Robillard:
"Theory-Specific Reasoning about Loops with Arrays using Vampire";
accepted as talk for: The Third Vampire Workshop, Coimbra, Portugal; 2016-07-02; in: "Proceedings of the Third Vampire Workshop", L. Kovacs, A. Voronkov (ed.); EasyChair EPiC Series in Computing, (2017).

Created from the Publication Database of the Vienna University of Technology.