Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017)

Simone Cavalheiro (Lead / Corresponding author), José Luiz Fiadeiro

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish
Article number102427
Number of pages1
JournalScience of Computer Programming
Volume191
Early online date17 Feb 2020
DOIs
Publication statusPublished - 1 Jun 2020

Cite this