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

AuthID
P-009-8J9
4
Author(s)
2
Editor(es)
Thouraya Bouabana-Tebibel; Stuart H. Rubin
Tipo de Documento
Proceedings Paper
Year published
2013
Publicado
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, Páginas: 45-75
Indexing
Publication Identifiers
DBLP: conf/iri/NevesMMB13
SCOPUS: 2-s2.0-84912101328
Source Identifiers
ISSN: 2194-5357
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.