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:
http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2015/2015-06.pdf
Created from the Publication Database of the Vienna University of Technology.