Original language | English (US) |
---|---|
Pages (from-to) | V-VI |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 9690 |
DOIs | |
State | Published - Jan 1 2016 |
Event | 8th International Symposium on NASA Formal Methods, NFM 2016 - Minneapolis, United States Duration: Jun 7 2016 → Jun 9 2016 |
Preface
Sanjai Rayadurgam, Oksana Tkachuk
Research output: Contribution to journal › Editorial › peer-review