Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Indexed and Fibred Structures for Hoare Logic., , und . LSFA, Volume 348 von Electronic Notes in Theoretical Computer Science, Seite 125-145. Elsevier, (2019)Programming Language Semantics with Isabelle/HOL.. WEIT, Seite 14-21. IEEE Computer Society, (2013)Indexed and fibered structures for partial and total correctness assertions., , und . Math. Struct. Comput. Sci., 32 (9): 1145-1175 (Oktober 2022)Reasoning about Partial Correctness Assertions in Isabelle/HOL.. RITA, 27 (3): 84-101 (2020)