Zum Inhalt springen

  4. Schmitt, Peter H. [VerfasserIn]; Dix, Jürgen [VerfasserIn]; Hähnle, Reiner [VerfasserIn]

    Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken / 1

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Karlsruhe: Univ., Fak. für Informatik, 1990

    Erschienen in: Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken / P. H. Schmitt; J. Dix; R. Hähnle. [Univ. Karlsruhe, Fak. für Informatik] ; 1 - Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 90,13

  5. Schmitt, Peter H. [VerfasserIn]; Dix, Jürgen [VerfasserIn]; Hähnle, Reiner [VerfasserIn]

    Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken / 2

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Karlsruhe: Univ., Fak. für Informatik, 1990

    Erschienen in: Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken / P. H. Schmitt; J. Dix; R. Hähnle. [Univ. Karlsruhe, Fak. für Informatik] ; 2 - Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 90,14

  7. Beckert, Bernhard [HerausgeberIn]; Hähnle, Reiner [Sonstige Person, Familie und Körperschaft]; Schmitt, Peter H. [Sonstige Person, Familie und Körperschaft]; Leino, K. Rustan M. [Sonstige Person, Familie und Körperschaft]

    Verification of object-oriented software: The KeY approach

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4334

  8. Giesl, Jürgen [VerfasserIn] ; Hähnle, Reiner [Sonstige Person, Familie und Körperschaft]

    Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6173

  9. Hähnle, Reiner [VerfasserIn] ; van der Aalst, Wil [HerausgeberIn]

    Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019

  13. Schön, Sebastian [VerfasserIn] ; Oetting, Andreas [AkademischeR BetreuerIn]; Hähnle, Reiner [AkademischeR BetreuerIn]

    Werkzeug zur Formalisierung von betrieblich-technischen Regelwerken der Eisenbahnen

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Darmstadt: Universitäts- und Landesbibliothek, 2021

  14. Steinhöfel, Dominic [VerfasserIn] ; Hähnle, Reiner [AkademischeR BetreuerIn]; Barthe, Gilles [AkademischeR BetreuerIn]

    Abstract Execution: Automatically Proving Infinitely Many Programs

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2020

  15. Flores Montoya, Antonio [VerfasserIn] ; Hähnle, Reiner [AkademischeR BetreuerIn]; Giesl, Jürgen [AkademischeR BetreuerIn]

    Cost Analysis of Programs Based on the Refinement of Cost Relations

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2017

  16. Do, Quoc Huy [VerfasserIn] ; Hähnle, Reiner [AkademischeR BetreuerIn]; Sands, David [AkademischeR BetreuerIn]

    Detection and Exploitation of Information Flow Leaks

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2017

  17. Wasser, Nathan Daniel [VerfasserIn] ; Hähnle, Reiner [AkademischeR BetreuerIn]; Kovács, Laura [AkademischeR BetreuerIn]

    Automatic generation of specifications using verification tools

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2016

  18. Mitschke, Ralf [VerfasserIn] ; Mezini, Mira [AkademischeR BetreuerIn]; Hähnle, Reiner [AkademischeR BetreuerIn]

    Scalable Automated Incrementalization for Real-Time Static Analyses

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2014

  19. Ji, Ran [VerfasserIn] ; Hähnle, Reiner [AkademischeR BetreuerIn]; Beckert, Bernhard [AkademischeR BetreuerIn]

    Sound Program Transformation Based on Symbolic Execution and Deduction

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2014