An institution for Alloy and its translation to second-order logic

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

Detalhes bibliográficos
Autor principal: Neves, Renato (author)
Outros Autores: Madeira, Alexandre (author), Martins, Manuel A. (author), Barbosa, L. S. (author)
Formato: bookPart
Idioma:eng
Publicado em: 2014
Assuntos:
Model finding
Theorem proving
Second–order logic
Texto completo:http://hdl.handle.net/1822/34744
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/34744

Texto Completo

http://hdl.handle.net/1822/34744

Registos relacionados