Syrine Tlili, Xiaochun Yang, Rachid Hadjidj, Mourad Debbabi. Verification of CERT Secure Coding Rules: Case Studies. In Robert Meersman, Tharam S. Dillon, Pilar Herrero, editors, On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part II. Volume 5871 of Lecture Notes in Computer Science, pages 913-930, Springer, 2009. [doi]
Abstract is missing.