Models, Algorithms, Logics and Tools: Essays Dedicated to ...
Preview
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare. Giorgio Luca Aceto • Bacci Giovanni Bacci• Anna Ingólfsdóttir Axel ...