Original language | Undefined/Unknown |
---|---|
Title of host publication | Integrated Formal Methods: 8th International Conference (IFM2010) |
Editors | D Méry, S Merz |
Publisher | Springer |
Pages | 74–88 |
ISBN (Electronic) | 978-3-642-16265-7 |
ISBN (Print) | 978-3-642-16264-0 |
DOIs | |
Publication status | Published - 2010 |
MoE publication type | A4 Article in a conference publication |
Event | International Conference on Integrated Formal Methods, IFM - 8th International Conference on Integrated Formal Methods, IFM 2010 Duration: 11 Oct 2010 → 14 Oct 2010 |
Conference
Conference | International Conference on Integrated Formal Methods, IFM |
---|---|
Period | 11/10/10 → 14/10/10 |