Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Full text!
Type:
e-book
Titel:
Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Auteur:
Bartocci, Ezio; Falcone, Yliès; Leucker, Martin
Taal:
Engels
Uitgever:
Springer 2021
ISBN:
3-030-87347-1
3-030-87348-X
Permalink:
http://bibtest.howest.be/catalog/ebk03:4950000000281676