Principles of Verification : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

MLA

Jansen, Nils, et al. Principles of Verification : Essays Dedicated to Joost-pieter Katoen On the Occasion of His 60th Birthday, Part Iii. Cham: Springer, 2024.

APA

Jansen, N., Junges, S., Kaminski, B. Lucien, Matheja, C., Noll, T., Quatmann, T., Stoelinga, M., & Volk, M. (2024). Principles of Verification : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Cham: Springer.

Chicago

Jansen, Nils., Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, and Matthias Volk. Principles of Verification : Essays Dedicated to Joost-Pieter Katoen On the Occasion of His 60th Birthday, Part III. Cham: Springer, 2024.