Suchergebnisse - Hähnle, Reiner

Automated deduction in multiple-valued logics

von Hähnle, Reiner

Inhaltsverzeichnis

Spezifikation eines Theorembeweisers für dreiwertige First-order-Logik

von Hähnle, Reiner

Machine learning for dynamic software analysis: potentials and limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016 : revised papers

Weitere beteiligte Personen: “… Hähnle, Reiner …”
Online lesen

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

Weitere beteiligte Personen: “… Hähnle, Reiner …”
Online lesen (frei zugänglich)

Deductive software verification: future perspectives: reflections on the occasion of 20 years of KeY

Weitere beteiligte Personen: “… Hähnle, Reiner …”
Online lesen

Active object languages: current research trends

Weitere beteiligte Personen: “… Hähnle, Reiner …”
Online lesen

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, 2019l : proceedings

Weitere beteiligte Personen: “… Hähnle, Reiner …”