[Back]


Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Playing in the Grey Area of Proofs";
Talk: Research Seminar at Microsoft Research Cambridge, Cambridge, UK (invited); 2012-09-19.

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