1. Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings /: foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings. (2017) Editors: Cavalheiro, Simone; Fiadeiro, José Luiz, 1961- Other Names: Brazilian Symposium on Formal Methods, 20th Record Type: Book Extent: 1 online resource (x, 305 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗