Cite
HARVARD Citation
Hutton, G. (eds.) (2019) Mathematics of program construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings. [Online]. Cham, Switzerland : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100091047848.0x000001