| 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