Task Model Design and Analysis with Alloy Artigo de Conferência uri icon

autores

  • Manuel Alcino Pereira da Cunha
  • Macedo, N
  • Kang, Eunsuk

data de publicação

  • janeiro 1, 2023