Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL

Sven Linker

Research output: Chapter in Book/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	13th International Conference on integrated Formal Methods
DOIs	https://doi.org/10.1007/978-3-319-66845-1_3
Publication status	Published - 18 Jul 2017

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)