ISBN 9783030873479 books & textbook
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Programming and Software Engineering)
Bartocci, Ezio Falcone, Yliès Leucker, Martin
Springer /2021-09-28 Paperback / 208 Pages
isbn-10: 3030873471 / isbn-13: 9783030873479
