Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings - Cavalheiro, Simone.; Fiadeiro, José. (Springer International Publishing : Imprint: Springer, 2017)