Automation for Exception Freedom Proofs

Andrew Ireland, B.J Ellis

Research output: Contribution to conferencePaperpeer-review

Original languageEnglish
Pages343-346
Number of pages4
Publication statusPublished - 2003
EventProceedings of the 18th Annual International Conference on Automated Software Engineering - Montreal, Canada
Duration: 1 Jan 2003 → …

Conference

ConferenceProceedings of the 18th Annual International Conference on Automated Software Engineering
Abbreviated titleASE 2003
Country/TerritoryCanada
CityMontreal
Period1/01/03 → …

Cite this