Describir: Formal Methods in Outer Space Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Yliès Falcone, Martin Leucker. [electronic resource] :