Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2017

Book 205 of 442 in Lecture Notes in Computer Science

2017 paperback edition