A Proof Assistant for Alloy Specifications
Ulbrich, M.
; Geilmann, U.; El Ghazi, Aboubakr Achraf; Taghdiri, M.
; Geilmann, U.; El Ghazi, Aboubakr Achraf; Taghdiri, M.| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2012 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-642-28755-8 KITopen-ID: 1000028640 |
| Erschienen in | Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Ed.: C. Flanagan |
| Verlag | Springer Verlag |
| Seiten | 422-436 |
| Serie | Lecture Notes in Computer Science ; 7217 |