Error Handling: From Theory to Practice

Ivan Lanese, Fabrizio Montesi

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Number of pages16
Publication date2010
Pages66-81
DOIs
Publication statusPublished - 2010
Externally publishedYes

Cite this