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

MLA

Bartocci, Ezio, Yliès Falcone, and Martin Leucker. Formal Methods In Outer Space : Essays Dedicated to Klaus Havelund On the Occasion of His 65th Birthday. Springer, 2021.

APA

Bartocci, E., Falcone, Y., & Leucker, M. (2021). Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday. Springer.

Chicago

Bartocci, Ezio, Yliès Falcone, and Martin Leucker. Formal Methods In Outer Space : Essays Dedicated to Klaus Havelund On the Occasion of His 65th Birthday. : Springer, 2021.