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

Simone André da Costa Cavalheiro, José Luiz Fiadeiro (2020)

Details and statistics

DOI: 10.1016/J.SCICO.2020.102427

access: closed

type: Journal Article

metadata version: 2020-03-24

a service of  Schloss Dagstuhl - Leibniz Center for Informatics