Cite
APA Citation
Ábrahám, E., Bonsangue, M. M., & Johnsen, E. B. (Eds.) (2016). Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday. Cham : Springer. http://access.bl.uk/ark:/81055/vdc_100071255164.0x000001