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, .
Ireland, Andrew ; Ellis, William James. / An Intgration of Program Analysis and Automated Theorem Proving. Paper presented at Integrated Formal Methods, .21 p.
@conference{4ea400b1f73f4e4483ef4414dff6a96c,
title = "An Intgration of Program Analysis and Automated Theorem Proving",
author = "Andrew Ireland and Ellis, {William James}",
year = "2004",
month = "4",
language = "English",
pages = "67--87",
note = "Integrated Formal Methods, IFM- '04 ; Conference date: 01-04-2004",

}

Ireland, A & Ellis, WJ 2004, 'An Intgration of Program Analysis and Automated Theorem Proving' Paper presented at Integrated Formal Methods, 1/04/04, pp. 67-87.

An Intgration of Program Analysis and Automated Theorem Proving. / Ireland, Andrew; Ellis, William James.

2004. 67-87 Paper presented at Integrated Formal Methods, .

Research output: Contribution to conferencePaper

TY - CONF

T1 - An Intgration of Program Analysis and Automated Theorem Proving

AU - Ireland, Andrew

AU - Ellis, William James

PY - 2004/4

Y1 - 2004/4

M3 - Paper

SP - 67

EP - 87

ER -

Ireland A, Ellis WJ. An Intgration of Program Analysis and Automated Theorem Proving. 2004. Paper presented at Integrated Formal Methods, .