Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Experimental assessment of random testing for object-oriented software., , , und . ISSTA, Seite 84-94. ACM, (2007)A comparative study of programmer-written and automatically inferred contracts., , und . ISSTA, Seite 93-104. ACM, (2009)Seamless Requirements., und . CoRR, (2017)Certificates and Separation Logic., , und . TGC, Volume 8358 von Lecture Notes in Computer Science, Seite 273-293. Springer, (2013)A Framework for Proving Contract-Equipped Classes.. Abstract State Machines, Volume 2589 von Lecture Notes in Computer Science, Seite 108-125. Springer, (2003)Specifying Reusable Components., , und . VSTTE, Volume 6217 von Lecture Notes in Computer Science, Seite 127-141. Springer, (2010)Program Checking with Less Hassle., , , und . VSTTE, Volume 8164 von Lecture Notes in Computer Science, Seite 149-169. Springer, (2013)Flexible Invariants through Semantic Collaboration., , , und . FM, Volume 8442 von Lecture Notes in Computer Science, Seite 514-530. Springer, (2014)Reasoning about Function Objects., , , , und . TOOLS (48), Volume 6141 von Lecture Notes in Computer Science, Seite 79-96. Springer, (2010)Applying Search in an Automatic Contract-Based Testing Tool., , und . SSBSE, Volume 8084 von Lecture Notes in Computer Science, Seite 318-323. Springer, (2013)