Talks and Poster Presentations (with Proceedings-Entry):
M. Tabaei Befrouei:
"Abstraction and mining of traces to explain concurrency bugs";
Talk: Frontiers of Formal Methods,
- 2015-02-27; in: "Proceedings of the Young Researchers' Conference "Frontiers of Formal Methods"",
T. Ströder, W. Thomas (ed.);
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.