PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Smetsers, Sjaak"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A benchmark for C program verification.

, , , , , , , , , 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.

Keine Personen gefunden für den Autorennamen Smetsers, Sjaak
Eine Person hinzufügen mit dem Namen Smetsers, Sjaak
 

Weitere Publikationen von Autoren mit dem selben Namen

Uniqueness Typing in Natural Deduction Style., und . Functional Programming, Seite 1. Springer, (1995)Fusion in Practice., , und . IFL, Volume 2670 von Lecture Notes in Computer Science, Seite 51-67. Springer, (2002)Conventional and Uniqueness Typing in Graph Rewrite Systems., und . FSTTCS, Volume 761 von Lecture Notes in Computer Science, Seite 41-51. Springer, (1993)Polytypic Syntax Tree Operations., , und . IFL, Volume 4015 von Lecture Notes in Computer Science, Seite 142-159. Springer, (2005)Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs., , , und . Dagstuhl Seminar on Graph Transformations in Computer Science, Volume 776 von Lecture Notes in Computer Science, Seite 358-379. Springer, (1993)Modular Bialgebraic Semantics and Algebraic Laws., , und . SBLP, Volume 8129 von Lecture Notes in Computer Science, Seite 46-60. Springer, (2013)A Proof Framework for Concurrent Programs., , und . IFM, Volume 7321 von Lecture Notes in Computer Science, Seite 174-190. Springer, (2012)TweetNaCl: A Crypto Library in 100 Tweets., , , , , und . LATINCRYPT, Volume 8895 von Lecture Notes in Computer Science, Seite 64-83. Springer, (2014)Problem Solving and Algorithmic Development with Flowcharts., und . WiPSCE, Seite 25-34. ACM, (2017)Graph Rewriting Semantics for Functional Programming Languages., , und . CSL, Volume 1258 von Lecture Notes in Computer Science, Seite 106-128. Springer, (1996)