Media type: E-Article Title: Tools and Algorithms for the Construction and Analysis of Systems: A Proof Assistant for Alloy Specifications Contributor: Ulbrich, Mattias; Geilmann, Ulrich; El Ghazi, Aboubakr Achraf; Taghdiri, Mana imprint: Springer Berlin Heidelberg, 2012 Published in: Tools and Algorithms for the Construction and Analysis of Systems Language: Not determined DOI: 10.1007/978-3-642-28756-5_29 ISSN: 0302-9743; 1611-3349 Origination: Footnote: