An Institution for Alloy and Its Translation to Second-Order Logic Artigo de Conferência Capítulo de livro uri icon

resumo

  • Publicado em "Integration of reusable systems". ISBN 978-3-319-04716-4

autores

  • Neves, R
  • Madeira, A
  • Manuel A. Martins
  • Barbosa, L.S.

data de publicação

  • janeiro 1, 2013