Autor der Publikation

Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach.

, , , und . LASER Summer School, Volume 7682 von Lecture Notes in Computer Science, Seite 133-155. Springer, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Agile vs. structured distributed software development: A case study., , , , und . Empirical Software Engineering, 19 (5): 1197-1224 (2014)Automated Program Repair in an Integrated Development Environment., , , und . ICSE (2), Seite 681-684. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Collaborative Software Development on the Web, , und . CoRR, (2011)How Specifications Change and Why You Should Care, , , , und . CoRR, (2012)3rd international workshop on developing tools as plug-ins (TOPI 2013)., , , , und . ICSE, Seite 1555. IEEE Computer Society, (2013)Javanni: A Verifier for JavaScript., , und . FASE, Volume 7793 von Lecture Notes in Computer Science, Seite 231-234. Springer, (2013)Agile vs. Structured Distributed Software Development: A Case Study., , , , und . ICGSE, Seite 11-20. IEEE Computer Society, (2012)A Framework for Execution of Secure Mobile Code based on Static Analysis., , , , und . SCCC, Seite 59-66. IEEE Computer Society, (2004)Automatic Translation of C Source Code to Eiffel, , , , und . CoRR, (2012)Automatic Program Repair by Fixing Contracts., , , und . FASE, Volume 8411 von Lecture Notes in Computer Science, Seite 246-260. Springer, (2014)