Formal Methods in Outer Space. Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Book title Buchtitel
Formal Methods in Outer Space. Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
ISBN
978-3-030-87348-6
Editor Herausgeber_in
Publisher Herausgeber
Springer
Springer, Lecture Notes in Computer Science
Springer, Lecture Notes in Computer Science
Place of publishing Erscheinungsort
Rhodes, Greece
DOI
10.1007/978-3-030-87348-6
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
13065