![](/img/cover-not-exists.png)
Using linux device drivers for static verification tools benchmarking
M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. V. Khoroshilov, P. E. ShvedVolume:
38
Language:
english
DOI:
10.1134/s0361768812050039
Date:
September, 2012
File:
PDF, 366 KB
english, 2012