![](/img/cover-not-exists.png)
[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Scalable and precise symbolic analysis for atomicity violations
Ganai, Malay K.Year:
2011
Language:
english
DOI:
10.1109/ase.2011.6100045
File:
PDF, 1.01 MB
english, 2011