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

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

Bibliographic Details
Main Author: Neves, Renato (author)
Other Authors: Madeira, Alexandre (author), Martins, Manuel A. (author), Barbosa, L. S. (author)
Format: bookPart
Language:eng
Published: 2014
Subjects:
Model finding
Theorem proving
Second–order logic
Online Access:http://hdl.handle.net/1822/34744
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/34744

Internet

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

Similar Items