%0 Conference Paper %1 conf/otm/TliliYHD09 %A Tlili, Syrine %A Yang, Xiaochun %A Hadjidj, Rachid %A Debbabi, Mourad %B OTM Conferences (2) %D 2009 %E Meersman, Robert %E Dillon, Tharam S. %E Herrero, Pilar %I Springer %K dblp %P 913-930 %T Verification of CERT Secure Coding Rules: Case Studies. %U http://dblp.uni-trier.de/db/conf/otm/otm2009-2.html#TliliYHD09 %V 5871 %@ 978-3-642-05150-0

@inproceedings{conf/otm/TliliYHD09, added-at = {2024-05-07T00:00:00.000+0200}, author = {Tlili, Syrine and Yang, Xiaochun and Hadjidj, Rachid and Debbabi, Mourad}, biburl = {https://www.bibsonomy.org/bibtex/2b6c1386e6c62507c125e4457a50477b6/dblp}, booktitle = {OTM Conferences (2)}, crossref = {conf/otm/2009-2}, editor = {Meersman, Robert and Dillon, Tharam S. and Herrero, Pilar}, ee = {https://doi.org/10.1007/978-3-642-05151-7_12}, interhash = {ef5b98b9044075ace6ae84e015b0e4bc}, intrahash = {b6c1386e6c62507c125e4457a50477b6}, isbn = {978-3-642-05150-0}, keywords = {dblp}, pages = {913-930}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:29:02.000+0200}, title = {Verification of CERT Secure Coding Rules: Case Studies.}, url = {http://dblp.uni-trier.de/db/conf/otm/otm2009-2.html#TliliYHD09}, volume = 5871, year = 2009 }