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

Isabelle/UTP: A Mechanised Theory Engineering Framework., , und . UTP, Volume 8963 von Lecture Notes in Computer Science, Seite 21-41. Springer, (2014)A Prospective-Value Semantics for the GSL., , und . ZB, Volume 3455 von Lecture Notes in Computer Science, Seite 187-202. Springer, (2005)Expression Transformers in B-GSL., und . ZB, Volume 2651 von Lecture Notes in Computer Science, Seite 197-215. Springer, (2003)Unifying theories of reactive design contracts., , , , und . Theor. Comput. Sci., (2020)Laws of mission-based programming., und . Formal Aspects Comput., 27 (2): 423-472 (2015)A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages., , und . Electron. Notes Theor. Comput. Sci., 253 (6): 33-56 (2010)Reactivising Classical B., und . ASM, Volume 5977 von Lecture Notes in Computer Science, Seite 302-318. Springer, (2010)Mechanical reasoning about families of UTP theories., und . Sci. Comput. Program., 77 (4): 444-479 (2012)Supporting ArcAngel in ProofPower., , und . Electron. Notes Theor. Comput. Sci., (2009)Encoding Circus Programs in ProofPowerZ., und . UTP, Volume 5713 von Lecture Notes in Computer Science, Seite 218-237. Springer, (2008)