( en | de | ru )

 

Disambiguierung von "Mehnert, Hannes"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Programming Unikernels in the Large via Functor Driven Development.

, , , , , , , und . CoRR, (2019)

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.

Thomas Mehnert

Anja Mehnert

Nicole Mehnert

Friedrich Mehnert

Henning Mehnert

 

Weitere Publikationen von Autoren mit dem selben Namen

Formalized Verification of Snapshotable Trees: Separation and Sharing., , , und . VSTTE, Volume 7152 von Lecture Notes in Computer Science, Seite 179-195. Springer, (2012)Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API., , , , , , , und . J. ACM, 66 (1): 1:1-1:77 (2019)Programming Unikernels in the Large via Functor Driven Development., , , , , , , und . CoRR, (2019)Object Propositions., , , und . FM, Volume 8442 von Lecture Notes in Computer Science, Seite 497-513. Springer, (2014)Verification of Snapshotable Trees Using Access Permissions and Typestate., und . TOOLS (50), Volume 7304 von Lecture Notes in Computer Science, Seite 187-201. Springer, (2012)A domain-specific language for manipulation of binary data in Dylan., und . ILC, Seite 22. ACM, (2007)Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code.. NASA Formal Methods, Volume 6617 von Lecture Notes in Computer Science, Seite 518-524. Springer, (2011)Extending Dylan's type system for better type inference and error detection.. ILC, Seite 1-10. ACM, (2010)Encoding Featherweight Java with assignment and immutability using the Coq proof assistant., , , , und . FTfJP@ECOOP, Seite 11-19. ACM, (2012)