Original language | English |
---|---|
Pages (from-to) | 2 |
Number of pages | 1 |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 8802 |
DOIs | |
Publication status | Published - 2014 |
Event | 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Greece Duration: 8 Oct 2014 → 11 Oct 2014 |
Leveraging applications of formal methods, verification and validation: Technologies for mastering change
Tiziana Margaria, Bernhard Steffen
Research output: Contribution to journal › Editorial