 | Up a level |
Number of items: 2.
Linker, S, Papacchini, F 
ORCID: 0000-0002-0310-7378 and Sevegnani, M
(2021)
Finite Models for a Spatial Logic with Discrete and Topological Path Operators.
.
Linker, S ORCID: 0000-0003-2913-7943
(2017)
Spatial Reasoning about Motorway Traffic Safety with Isabelle/HOL.
In: integrated Formal Methods 2017, 2017-9-20 - 2017-9-22, Turin, Italy.