![](/img/cover-not-exists.png)
Online efficient predictive safety analysis of multithreaded programs
Koushik Sen, Grigore Roşu, Gul AghaVolume:
8
Language:
english
Pages:
13
DOI:
10.1007/s10009-005-0192-y
Date:
June, 2006
File:
PDF, 1.45 MB
english, 2006