BASAGIANNIS, Stylianos; MJEDA, Anila; BOTTERWECK, Götz. Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020). Electronic Communications of the EASST, [S. l.], v. 79, 2021. DOI: 10.14279/tuj.eceasst.79.1125. Disponível em: https://eceasst.org/index.php/eceasst/article/view/2244. Acesso em: 22 oct. 2024.