%0 Journal Article %1 Mandrykin2012 %A Mandrykin, Mikhail U. %A Mutilin, Vadim S. %A Novikov, Eugene %A Khoroshilov, Alexey V. %A Shved, Pavel %D 2012 %J Programming and Computer Software %K dblp linux puma test %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{Mandrykin2012, added-at = {2015-10-12T20:43:10.000+0200}, author = {Mandrykin, Mikhail U. and Mutilin, Vadim S. and Novikov, Eugene and Khoroshilov, Alexey V. and Shved, Pavel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e5262c3ffd39dea0684b9b3c220a7b22/droessler}, ee = {http://dx.doi.org/10.1134/S0361768812050039}, groups = {public}, interhash = {6439781ff55f6c2e260600a932353a03}, intrahash = {e5262c3ffd39dea0684b9b3c220a7b22}, journal = {Programming and Computer Software}, keywords = {dblp linux puma test}, number = 5, pages = {245-256}, timestamp = {2016-11-25T10:29:17.000+0100}, title = {Using linux device drivers for static verification tools benchmarking.}, url = {http://dblp.uni-trier.de/db/journals/pcs/pcs38.html#MandrykinMNKS12}, username = {droessler}, volume = 38, year = 2012 }