APA (7th ed.) Citation

SpringerLink (Online service), Ábrahám, E., Bonsangue, M., & Johnsen, E. B. (2016). Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer International Publishing : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Erika Ábrahám, Marcello Bonsangue, and Einar Broch Johnsen. Theory and Practice of Formal Methods: Essays Dedicated to Frank De Boer on the Occasion of His 60th Birthday. Cham: Springer International Publishing : Imprint: Springer, 2016.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Theory and Practice of Formal Methods: Essays Dedicated to Frank De Boer on the Occasion of His 60th Birthday. Springer International Publishing : Imprint: Springer, 2016.