PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Bronish, Derek"

Author of the publication

copydeleteadd this publication to your clipboard
The 1st Verified Software Competition: Experience Report.

, , , , , , , , , , , , , , , , , , , , , and . FM, volume 6664 of Lecture Notes in Computer Science, page 154-168. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Bronish, Derek
add a person with the name Bronish, Derek
 

Other publications of authors with the same name

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