, CIFASIS and UNR, Argentina

• Revista de Informática Teórica e Aplicada Vol. 22 No. 2 (2015) - Melhores Artigos SAST 2014
  Coverage Criteria for Set-Based Specifications
  Abstract  PDF