Book

Formal Methods in Outer Space

by Ezio Bartocci, Yliès Falcone, Martin Leucker