( en | de | ru )

 

Disambiguierung von "Müller, Peter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Specification and verification challenges for sequential object-oriented programs

, , und . Formal Aspects of Computing, (2007)
DOI: 10.1007/s00165-007-0026-7

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.

Peter Müller

Peter Müller

Peter Müller

Peter Müller

Peter Müller

 

Weitere Publikationen von Autoren mit dem selben Namen

Using the RECOMS Architecture for Controlling a Radio Telescope, , , , und . Lehrstuhl für Realzeit--Computersysteme, Technische Universität München, (2004)Specification and verification challenges for sequential object-oriented programs, , und . Formal Aspects of Computing, (2007)Nagini: A Static Verifier for Python., und . CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 596-603. Springer, (2018)Permission Inference for Array Programs., , , , und . CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 55-74. Springer, (2018)Sound Automation of Magic Wands., , , , und . CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 130-151. Springer, (2022)Modular Product Programs., , und . ESOP, Volume 10801 von Lecture Notes in Computer Science, Seite 502-529. Springer, (2018)An Abstract Interpretation Framework for Input Data Usage., und . ESOP, Volume 10801 von Lecture Notes in Computer Science, Seite 683-710. Springer, (2018)Ownership transfer in universe types., und . OOPSLA, Seite 461-478. ACM, (2007)Serializability for eventual consistency: criterion, analysis, and applications., , , und . POPL, Seite 458-472. ACM, (2017)Constraint Semantics for Abstract Read Permissions., , , und . FTfJP@ECOOP, Seite 2:1-2:6. ACM, (2014)