%0 Journal Article %1 journals/pcs/MandrykinMNKS12 %A Mandrykin, Mikhail U. %A Mutilin, Vadim S. %A Novikov, Evgeny %A Khoroshilov, Alexey V. %A Shved, Pavel %D 2012 %J Programming and Computer Software %K dblp %N 5 %P 245-256 %T Using linux device drivers for static verification tools benchmarking. %U http://dblp.uni-trier.de/db/journals/pcs/pcs38.html#MandrykinMNKS12 %V 38

@article{journals/pcs/MandrykinMNKS12, added-at = {2018-11-02T00:00:00.000+0100}, author = {Mandrykin, Mikhail U. and Mutilin, Vadim S. and Novikov, Evgeny and Khoroshilov, Alexey V. and Shved, Pavel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c9c18c7488ce642c90f72fad91e7ad4b/dblp}, ee = {https://doi.org/10.1134/S0361768812050039}, interhash = {6439781ff55f6c2e260600a932353a03}, intrahash = {c9c18c7488ce642c90f72fad91e7ad4b}, journal = {Programming and Computer Software}, keywords = {dblp}, number = 5, pages = {245-256}, timestamp = {2019-09-27T08:36:07.000+0200}, title = {Using linux device drivers for static verification tools benchmarking.}, url = {http://dblp.uni-trier.de/db/journals/pcs/pcs38.html#MandrykinMNKS12}, volume = 38, year = 2012 }