Relations as executable specifications: Taming partiality and non-determinism using invariants Artigo de Conferência uri icon

resumo

  • Comunicação publicada em "Lecture Notes in Computer Science", vol. 7560 (2012), pag. 146-161

autores

  • Macedo, N
  • Hugo Pacheco
  • Cunha, Alcino
  • Manuel Alcino Pereira da Cunha

data de publicação

  • janeiro 1, 2012