Publications

An Institution for Alloy and Its Translation to Second-Order Logic

AuthID
P-009-8J9

Author(s)

Neves, R

Madeira, A

Martins, MA

Barbosa, LS

Editor(s)

Thouraya Bouabana-Tebibel; Stuart H. Rubin

Document Type

Proceedings Paper

Year published

2013

Published in

Integration of Reusable Systems [Extended Versions of the Best Papers Which Were Presented at Ieee International Conference on Information Reuse and Integration and Ieee International Workshop on Formal Methods Integration, San Francisco, Ca, Usa, August 2013]

Volume 263, Pages 45-75

Book Series: Advances in Intelligent Systems and Computing

Indexing