An Intgration of Program Analysis and Automated Theorem Proving

Andrew Ireland, William James Ellis

Research output: Contribution to conferencePaper

Original languageEnglish
Pages67-87
Number of pages21
Publication statusPublished - Apr 2004
EventIntegrated Formal Methods -
Duration: 1 Apr 2004 → …

Conference

ConferenceIntegrated Formal Methods
Abbreviated titleIFM- '04
Period1/04/04 → …

Cite this

Ireland, A., & Ellis, W. J. (2004). An Intgration of Program Analysis and Automated Theorem Proving. 67-87. Paper presented at Integrated Formal Methods, .