Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL.

Sven Linker

Browse the full IFM paper archive.