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 (17η εκδ.)SpringerLink (Online service), Erika Ábrahám, Marcello Bonsangue, και 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 εκδ.)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.
