Timely Specification Repair for Alloy 6 Artigo de Conferência Capítulo de livro uri icon

autores

  • Cerqueira, J
  • Manuel Alcino Pereira da Cunha
  • Macedo, N

data de publicação

  • 2022