( en | de | ru )

 

Disambiguierung von "Furia, Carlo A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A publication culture in software engineering (panel).

, , , , , , und . ESEC/SIGSOFT FSE, Seite 19-23. ACM, (2013)

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.

Hans-Otto Furian

Thimm Christoph Furian

Robert Furian

Robert Furian

Lothar Carlowitz

 

Weitere Publikationen von Autoren mit dem selben Namen

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques., , , und . SEFM, Volume 7041 von Lecture Notes in Computer Science, Seite 382-398. Springer, (2011)Flexible Invariants Through Semantic Collaboration., , , und . CoRR, (2013)Automatic Translation of C Source Code to Eiffel, , , , und . CoRR, (2012)Bayesian Data Analysis in Empirical Software Engineering Research., , und . CoRR, (2018)Inferring Loop Invariants Using Postconditions., und . Fields of Logic and Computation, Volume 6300 von Lecture Notes in Computer Science, Seite 277-300. Springer, (2010)Review of The calculus of computation: decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna.. SIGACT News, 42 (1): 32-35 (2011)Automatic Program Repair by Fixing Contracts., , , und . FASE, Volume 8411 von Lecture Notes in Computer Science, Seite 246-260. Springer, (2014)SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings., , , und . J. Syst. Softw., (2020)A Fully Verified Container Library., , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 414-434. Springer, (2015)FauxPy: A Fault Localization Tool for Python., und . CoRR, (2024)