Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday Aceto Luca Heftet / 2017 / Engelsk
