%0 Journal Article %1 journals/fac/KirchnerKPSY15 %A Kirchner, Florent %A Kosmatov, Nikolai %A Prevosto, Virgile %A Signoles, Julien %A Yakobowski, Boris %D 2015 %J Formal Asp. Comput. %K %N 3 %P 573-609 %T Frama-C: A software analysis perspective. %U http://dblp.uni-trier.de/db/journals/fac/fac27.html#KirchnerKPSY15 %V 27

@article{journals/fac/KirchnerKPSY15, added-at = {2023-12-13T02:44:37.000+0100}, author = {Kirchner, Florent and Kosmatov, Nikolai and Prevosto, Virgile and Signoles, Julien and Yakobowski, Boris}, biburl = {https://www.bibsonomy.org/bibtex/2751d2b68f50357fe7053af7be4c1b176/admin}, ee = {http://dx.doi.org/10.1007/s00165-014-0326-7}, interhash = {82ffa1068558da023f7458dcccf0dde0}, intrahash = {751d2b68f50357fe7053af7be4c1b176}, journal = {Formal Asp. Comput.}, keywords = {}, number = 3, pages = {573-609}, timestamp = {2023-12-13T02:44:37.000+0100}, title = {Frama-C: A software analysis perspective.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac27.html#KirchnerKPSY15}, volume = 27, year = 2015 }