Proceedings
Formal Methods: Foundations and Applications. 20th Brazilian Symposium, SBMF 2017
Recife, Brazil, November 29 — December 1, 2017, Proceedings (LNCS 10623)
Link to the digital version of SBMF 2017 proceedings, LNCS 10623
Free access for conference participants will be granted for 4 weeks.