John Matthews, J. Strother Moore, Sandip Ray, Daron Vroon. Verification Condition Generation Via Theorem Proving. In Miki Hermann, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings. Volume 4246 of Lecture Notes in Computer Science, pages 362-376, Springer, 2006. [doi]
Abstract is missing.