70760635

a

70760635 Lahiri, Shuvendu K. Qadeer, Shaz Rakamaric, Zvonimir Static and precise detection of concurrency errors in systems code using SMT solvers CAV, 509-524 (2009). 2009 EN

doi:10.1007/978-3-642-02658-4_38