[Back]


Talks and Poster Presentations (without Proceedings-Entry):
I. Dragan:
"Recent Developments in Vampire for Program Analysis and Theory Reasoning";
Talk: Chalmers research seminar, Gothenburg, Schweden (invited); 2013-11-13.

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