Skip to main navigation Skip to search Skip to main content

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

ASJC Scopus subject areas

  • Software

Cite this