PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Bronish, Derek"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Robust, generic, modularly-verified map: a software verification challenge problem.

, und . PLPV, Seite 27-30. ACM, (2011)

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 Bronish, Derek
Eine Person hinzufügen mit dem Namen Bronish, Derek
 

Weitere Publikationen von Autoren mit dem selben Namen

Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?, , , , , , und . ICSR, Volume 5791 von Lecture Notes in Computer Science, Seite 31-40. Springer, (2009)A benchmark- and competition-based approach to software engineering research., , und . FoSER, Seite 43-46. ACM, (2010)Incremental Benchmarks for Software Verification Tools and Techniques., , , , , , , , und . VSTTE, Volume 5295 von Lecture Notes in Computer Science, Seite 84-98. Springer, (2008)Formalizing Reusable Aspect-Oriented Concurrency Control., , und . SEKE, Seite 111-114. Knowledge Systems Institute Graduate School, (2011)Building a push-button RESOLVE verifier: Progress and challenges., , , , , , , , , und 3 andere Autor(en). Formal Asp. Comput., 23 (5): 607-626 (2011)The 1st Verified Software Competition: Experience Report., , , , , , , , , und 12 andere Autor(en). FM, Volume 6664 von Lecture Notes in Computer Science, Seite 154-168. Springer, (2011)Robust, generic, modularly-verified map: a software verification challenge problem., und . PLPV, Seite 27-30. ACM, (2011)Traditional assignment considered harmful., , , , , und . OOPSLA Companion, Seite 909-916. ACM, (2009)