Cite
HARVARD Citation
Ábrahám, E. et al. (eds.) (2016) Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday. [Online]. Cham : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100071255164.0x000001