( en | de | ru )

 

Disambiguierung von "van Staden, Stephan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Algebra Unifies Operational Calculi.

, und . UTP, Volume 7681 von Lecture Notes in Computer Science, Seite 88-104. Springer, (2012)

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.

Michael Staden

Jens Staden

Johan Staden

Peter Staden

Ute Staden

 

Weitere Publikationen von Autoren mit dem selben Namen

A Framework for Concurrent Imperative Programming. CoRR, (2012)The laws of programming unify process calculi., und . Sci. Comput. Program., (2014)Enhancing separation logic for object-orientation.. ETH Zurich, Zürich, Switzerland, (2013)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/69011).Constructing the Views Framework.. UTP, Volume 8963 von Lecture Notes in Computer Science, Seite 62-83. Springer, (2014)The Laws of Programming Unify Process Calculi., und . MPC, Volume 7342 von Lecture Notes in Computer Science, Seite 7-22. Springer, (2012)Freefinement., , und . POPL, Seite 7-18. ACM, (2012)Verifying Executable Object-Oriented Specifications with Separation Logic., , und . ECOOP, Volume 6183 von Lecture Notes in Computer Science, Seite 151-174. Springer, (2010)Pointwise Metrics for Clustering Evaluation.. CoRR, (2024)Algebra Unifies Operational Calculi., und . UTP, Volume 7681 von Lecture Notes in Computer Science, Seite 88-104. Springer, (2012)On Rely-Guarantee Reasoning.. MPC, Volume 9129 von Lecture Notes in Computer Science, Seite 30-49. Springer, (2015)