Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Zvonimir Rakamaric

Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T)

English