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
Early online date17 Feb 2020
Publication statusPublished - 1 Jun 2020

ASJC Scopus subject areas

  • Software

Cite this