Talks and Poster Presentations (with Proceedings-Entry):

M. Tabaei Befrouei:
"Abstraction and mining of traces to explain concurrency bugs";
Talk: Frontiers of Formal Methods, Aachen; 2015-02-25 - 2015-02-27; in: "Proceedings of the Young Researchers' Conference "Frontiers of Formal Methods"", T. Ströder, W. Thomas (ed.); (2015), 5 pages.

Electronic version of the publication:

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