![](/img/cover-not-exists.png)
[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T)
Deligiannis, Pantazis, Donaldson, Alastair F., Rakamaric, ZvonimirYear:
2015
Language:
english
DOI:
10.1109/ase.2015.30
File:
PDF, 303 KB
english, 2015