Automation for Exception Freedom Proofs

Andrew Ireland, B.J Ellis

Research output: Contribution to conferencePaper

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
CountryCanada
CityMontreal
Period1/01/03 → …

Cite this

Ireland, A., & Ellis, B. J. (2003). Automation for Exception Freedom Proofs. 343-346. Paper presented at Proceedings of the 18th Annual International Conference on Automated Software Engineering, Montreal, Canada.