Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Ireland, Andrew - Computer Science Department, Heriot-Watt University
Invariant Patterns for Program Reasoning Andrew Ireland and Bill J. Ellis and Tommy Ingulfsen
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland
An Integrated Approach to High Integrity Software Verification
A Practical Perspective on the Verifying Compiler Proposal Andrew Ireland
