in Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 12475, Páginas: 137-154
Conference
23Rd Brazilian Symposium on Formal Methods, Sbmf 2020, Date: 25 November 2020 through 27 November 2020