Original language | English |
---|---|
Title of host publication | Leveraging 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 pages | 16 |
Publication date | 2010 |
Pages | 66-81 |
DOIs | |
Publication status | Published - 2010 |
Externally published | Yes |
Error Handling: From Theory to Practice
Ivan Lanese, Fabrizio Montesi
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review