Caecilia Grebing und Sarah - Info zur Person

(1 - 6 von 6

)

DNB, Katalog der Deutschen Nationalbibliothek

portal.dnb.de

User Interaction in Deductive Interactive Program Verification / Sarah Caecilia Grebing ; Betreuer: B. Beckert Person(en) Grebing, Sarah Caecilia (Verfasser) Beckert, B. (Akademischer Betreuer) Verlag: Karlsruhe : KIT-Bibliothek Zeitliche Einordnung

User Interaction in Deductive Interactive Program ...

katalogplus.sub.uni-hamburg.de

User Interaction in Deductive Interactive Program Verification / Sarah Caecilia Grebing ; Betreuer: B. Beckert . Gespeichert in: PPN (Katalog-ID): Personen: Grebing, Sarah Caecilia [VerfasserIn] Beckert, B ...

User Interaction in Deductive Interactive Program Verification ...

books.google.com

Sarah Caecilia Grebing. KIT-Bibliothek, Reviews. Reviews aren't verified, but Google checks for and removes fake content when it's identified ... › about

Dissertations / Theses: 'Caecilians' – Grafiati

www.grafiati.com

"User Interaction in Deductive Interactive Program Verification / Sarah Caecilia Grebing ; Betreuer: B. Beckert." Online-Ressource, Karlsruhe ... › caecilians › caecilian

KIT - Application-oriented Formal Verification - Alumni/ae - Sarah...

formal.kastel.kit.edu

Sarah Caecilia Grebing: Karlsruhe Institute of Technology (October 2019) Seamless Interactive Program Verification: Sarah Grebing Jonas Klamroth Mattias Ulbrich: 11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2019) 2018; Title Author(s) Source; Adding Text-Based Interaction to a Direct-Manipulation Interface for Program Verification – Lessons Learned ...

Sarah Grebing - Application-oriented Formal Verification - KIT

formal.kastel.kit.edu

User Interaction in Deductive Interactive Program Verification · Sarah Caecilia Grebing, Karlsruhe Institute of Technology (October 2019). › ~gre...

Alle Infos zum Namen "Caecilia Grebing"

Verwandte Suchanfragen zu Caecilia Grebing

Personen
Vorname "Caecilia" (81)
Name "Grebing" (133)

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