An Integration of Program Analysis and Automated Theorem Proving.

Bill J. Ellis, Andrew Ireland

Browse the full IFM paper archive.