CAMILA: Prototyping and Refinement of Constructive Specifications Artigo de Conferência uri icon

resumo

  • Lecture Notes in Computer Science Volume 1349, 1997.

autores

  • José João Antunes Guimarães Dias de Almeida
  • Almeida, J. J.
  • Barbosa, L. S.
  • Neves, F. L.
  • Oliveira, José Nuno Fonseca
  • Almeida, J.J.
  • Barbosa, L.S.
  • Neves, F.L.
  • Oliveira, J.N.

data de publicação

  • janeiro 1, 1997