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] in Advances in Intelligent Systems and Computing, ISSN: 2194-5357

Volume: 263, Pages: 45-75

Indexing