%0 Conference Paper %1 conf/sigsoft/VenetL10 %A Venet, Arnaud %A Lowry, Michael R. %B FoSER %D 2010 %E Roman, Gruia-Catalin %E Sullivan, Kevin J. %I ACM %K dblp %P 393-396 %T Static analysis for software assurance: soundness, scalability and adaptiveness. %U http://dblp.uni-trier.de/db/conf/sigsoft/foser2010.html#VenetL10 %@ 978-1-4503-0427-6

@inproceedings{conf/sigsoft/VenetL10, added-at = {2024-10-06T00:00:00.000+0200}, author = {Venet, Arnaud and Lowry, Michael R.}, biburl = {https://www.bibsonomy.org/bibtex/2e3e4d20a652e1ac01b416d7a00113c22/dblp}, booktitle = {FoSER}, crossref = {conf/sigsoft/2010foser}, editor = {Roman, Gruia-Catalin and Sullivan, Kevin J.}, ee = {https://doi.org/10.1145/1882362.1882442}, interhash = {a963aa4253b5b00000dec681fe9221fe}, intrahash = {e3e4d20a652e1ac01b416d7a00113c22}, isbn = {978-1-4503-0427-6}, keywords = {dblp}, pages = {393-396}, publisher = {ACM}, timestamp = {2024-10-07T09:48:51.000+0200}, title = {Static analysis for software assurance: soundness, scalability and adaptiveness.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/foser2010.html#VenetL10}, year = 2010 }