[1]
Cristiá, M., Cuenca, J. and Frydman, C. 2015. Coverage Criteria for Set-Based Specifications. Revista de Informática Teórica e Aplicada. 22, 2 (Nov. 2015), 316–335. DOI:https://doi.org/10.22456/2175-2745.52511.