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

AuthID
P-009-8J9
4
Author(s)
2
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
Publication Identifiers
Dblp: conf/iri/NevesMMB13
Scopus: 2-s2.0-84912101328
Source Identifiers
ISSN: 2194-5357
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.