Media type: E-Article Title: Proceedings First Workshop on Formal Verification of Autonomous Vehicles : Preface : Preface Contributor: Bulwahn, Lukas; Kamali, Maryam; Linker, Sven Published: Open Publishing Association, 2017 Published in: Electronic Proceedings in Theoretical Computer Science, 257 (2017) Language: English DOI: 10.4204/eptcs.257.0 ISSN: 2075-2180 Keywords: General Earth and Planetary Sciences ; General Engineering ; General Environmental Science Origination: Footnote: Access State: Open Access