Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh. Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. In Francesca Saglietti, Norbert Oster, editors, Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Volume 4680 of Lecture Notes in Computer Science, pages 491-504, Springer, 2007. [doi]
Abstract is missing.