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]
No references recorded for this publication.
No citations of this publication recorded.