Bill J. Ellis, Andrew Ireland. An Integration of Program Analysis and Automated Theorem Proving. In Eerke Boiten, John Derrick, Graeme Smith, editors, Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Volume 2999 of Lecture Notes in Computer Science, pages 67-86, Springer, 2004. [doi]
Abstract is missing.