| Original language | English (US) |
|---|---|
| Title of host publication | 7th NASA Formal Methods Symposium |
| Subtitle of host publication | NFM '15 |
| Place of Publication | Pasadena, CA |
| State | Published - Apr 2015 |
Context-directed graph coverage
Daniel Schwartz-Narbonne, M Schaf, D Jovanovic, P Rummer, Thomas Wies
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution