Cite
HARVARD Citation
Polikarpova, N. et al. (eds.) (2017) Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. [Online]. Cham, Switzerland : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100071599866.0x000001