Martin Bitterlich und University - Info zur Person

(1 - 3 von 5

)

Martin Bitterlich - University of Augsburg

www.uni-augsburg.de

(Angewandte Filter: Semester: aktuelles | Dozenten: Martin Bitterlich | Vorlesungsarten: Vorlesung, Vorlesung + Übung, Seminar) Name Semester Typ Softwaretechnik Wintersemester Vorlesung Seminar zu Software- und Systems Engineering Seminar ...

The Logic of Software. A Tasting Menu of Formal Methods: ...google.ae

books.google.ae

... Martin Bitterlich, and Wolfgang Reif Institute for Software and Systems Engineering, University of Augsburg, Augsburg, Germany {schellhorn,stefan ...

Separating Separation Logic – Modular Verification of Red ...ACM Digital Library

dl.acm.org

von G Schellhorn · · Zitiert von: 3 — Martin Bitterlich. Institute for Software and Systems Engineering, University of Augsburg, Augsburg, Germany. Institute for Software and ...

Verwandte Suchanfragen zu Martin Bitterlich

Gerhard Schellhorn
Adam Hall
Wolfgang Reif

Nadine Bitterlich
Christoph Duelli
Monika Bitterlich

Olaf Bitterlich

Person "Bitterlich" (1)
Vorname "Martin" (86745)
Name "Bitterlich" (251)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Martin Bitterlich und University Person-Info

Martin Bitterlich - University of Augsburg

The Logic of Software. A Tasting Menu of Formal Methods: ...google.ae

Separating Separation Logic – Modular Verification of Red ...ACM Digital Library