Formal methods: foundations and applications. 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 -- December 1, 2017. Proceedings
scientific article; zbMATH DE number 6810095