Tabaei Befrouei, Mitra: Abstraction and mining of traces to explain concurrency bugs. . In: Formal Methods in System Design. Jg.49 H. 1, S.132
Inhalt