Cite
APA Citation
Cavalheiro, S., & Fiadeiro, J. L. (Eds.) (2017). Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings. Cham, Switzerland : Springer. http://access.bl.uk/ark:/81055/vdc_100072627332.0x000001