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

Simone André da Costa Cavalheiro, José Luiz Fiadeiro. Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017). Science of Computer Programming, 191:102427, 2020. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.