Skip to contents Ulbrich, Mattias [Other]; Geilmann, Ulrich [Other]; El Ghazi, Aboubakr Achraf [Other] On Proving Alloy Specifications Using KeY Books View online Schließen > Access https://digbib.bibliothek.kit.edu/volltexte/1000025523 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe: KIT, Fakultät für Informatik, 2011 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2011,37 El Ghazi, Aboubakr Achraf [Author]; Geilmann, Ulrich [Author]; Ulbrich, Mattias [Author]; Taghdiri, Mana [Author] A Dual-Engine for Early Analysis of Critical Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2014-08-01 Ulbrich, Mattias [Author]; Geilmann, Ulrich [Author]; El Ghazi, Aboubakr Achraf [Author]; Taghdiri, Mana [Author] On Proving Alloy Specifications Using KeY Books View online Schließen > Links https://publikationen.bibliothek.kit.edu/1000025523 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruher Institut für Technologie, 2011-01-01 Bubel, Richard; Hähnle, Reiner; Geilmann, Ulrich Software Engineering and Formal Methods: A Formalisation of Java Strings for Program Specification and Verification Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2011 Published in: Software Engineering and Formal Methods Ulbrich, Mattias; Geilmann, Ulrich; El Ghazi, Aboubakr Achraf; Taghdiri, Mana Tools and Algorithms for the Construction and Analysis of Systems: A Proof Assistant for Alloy Specifications Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2012 Published in: Tools and Algorithms for the Construction and Analysis of Systems
Ulbrich, Mattias [Other]; Geilmann, Ulrich [Other]; El Ghazi, Aboubakr Achraf [Other] On Proving Alloy Specifications Using KeY Books View online Schließen > Access https://digbib.bibliothek.kit.edu/volltexte/1000025523 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe: KIT, Fakultät für Informatik, 2011 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2011,37
El Ghazi, Aboubakr Achraf [Author]; Geilmann, Ulrich [Author]; Ulbrich, Mattias [Author]; Taghdiri, Mana [Author] A Dual-Engine for Early Analysis of Critical Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2014-08-01
Ulbrich, Mattias [Author]; Geilmann, Ulrich [Author]; El Ghazi, Aboubakr Achraf [Author]; Taghdiri, Mana [Author] On Proving Alloy Specifications Using KeY Books View online Schließen > Links https://publikationen.bibliothek.kit.edu/1000025523 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruher Institut für Technologie, 2011-01-01
Bubel, Richard; Hähnle, Reiner; Geilmann, Ulrich Software Engineering and Formal Methods: A Formalisation of Java Strings for Program Specification and Verification Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2011 Published in: Software Engineering and Formal Methods
Ulbrich, Mattias; Geilmann, Ulrich; El Ghazi, Aboubakr Achraf; Taghdiri, Mana Tools and Algorithms for the Construction and Analysis of Systems: A Proof Assistant for Alloy Specifications Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2012 Published in: Tools and Algorithms for the Construction and Analysis of Systems
> Media type Skip to next facet Articles (3) Wert ausschließen Books (2) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (3) Wert ausschließen Without Specification (2) Wert ausschließen Show more show less
> Language Skip to next facet English (3) Wert ausschließen Not determined (2) Wert ausschließen Show more show less
> Creator Skip to next facet Geilmann, Ulrich (5) Wert ausschließen El Ghazi, Aboubakr Achraf (4) Wert ausschließen Ulbrich, Mattias (4) Wert ausschließen Taghdiri, Mana (3) Wert ausschließen Bubel, Richard (1) Wert ausschließen Hähnle, Reiner (1) Wert ausschließen Show more show less
> Collection Skip to next facet BASE - Bielefeld Academic Search Engine (2) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (2) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (2) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Verbunddaten SWB (1) Wert ausschließen Show more show less