PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "de Roever, Willem-Paul"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
What Is in a Step: New Perspectives on a Classical Question.

, , und . Essays in Memory of Amir Pnueli, Volume 6200 von Lecture Notes in Computer Science, Seite 370-399. Springer, (2010)

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.

PD Dr. Simon Paulus University of Stuttgart

Prof. Dr. Paul Keller University of Stuttgart

Paul Betz University of Stuttgart

Moritz Paul University of Stuttgart

Kerstin Paul University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Warmest Congratulations, Frank!. Theory and Practice of Formal Methods, Volume 9660 von Lecture Notes in Computer Science, Seite 9-11. Springer, (2016)What Is in a Step: New Perspectives on a Classical Question., , und . Essays in Memory of Amir Pnueli, Volume 6200 von Lecture Notes in Computer Science, Seite 370-399. Springer, (2010)Formalising Dijkstra's Development Strategy within Stark's Formalism., , und . Refine, Seite 4-42. Springer London, (1992)Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland., , , , , , , , , und 24 andere Autor(en). Perspectives Workshop, Volume 05402 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941-November 2, 2009).. Sci. Comput. Program., 75 (4): 211-213 (2010)A Perspective on Program Verification.. VSTTE, Volume 4171 von Lecture Notes in Computer Science, Seite 470-477. Springer, (2005)Warmest Congratulations, Ernst-Rüdiger!. Correct System Design, Volume 9360 von Lecture Notes in Computer Science, Seite 10-11. Springer, (2015)Formal Semantics for Ward & Mellor's Transformation Schemas., , , und . Refine, Seite 14-41. Springer, (1994)