Timely Specification Repair for Alloy 6 Artigo de Conferência uri icon

autores

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

data de publicação

  • janeiro 1, 2022