( en | de | ru )

 

Disambiguierung von "Wallenburg, Angela"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Auditing User-Provided Axioms in Software Verification Conditions.

, , und . FMICS, Volume 8187 von Lecture Notes in Computer Science, Seite 154-168. Springer, (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.

Marcus Wallenburg

Jobst Wallenburg

Karl Wallenburg

Carl Marcus Wallenburg

Angela DeBenedictis

Besiegelte Freundschaft: die brandenburgischen Erbeinungen und Erbverbrüderungen im späten Mittelalter. Uni Frankfurt Main, (2008)
 

Weitere Publikationen von Autoren mit dem selben Namen

Class-local object invariants., und . ISEC, Seite 57-66. ACM, (2008)SPARKSkein: A Formal and Fast Reference Implementation of Skein., , und . SBMF, Volume 7021 von Lecture Notes in Computer Science, Seite 16-27. Springer, (2011)Generalisation of Induction Formulae based on Proving by Symbolic Execution.. WING@ETAPS/IJCAR, Volume 1 von EPiC Series in Computing, Seite 187-203. EasyChair, (2010)Tokeneer: Beyond Formal Program Verification, und . Proceedings of the 5th International Congress on Embedded Real Time Software and Systems, (Mai 2010)Proving by Induction.. The KeY Approach, Volume 4334 von Lecture Notes in Computer Science, Springer, (2007)Using a Software Testing Technique to Improve Theorem Proving., und . FATES, Volume 2931 von Lecture Notes in Computer Science, Seite 30-41. Springer, (2003)Flexible Immutability with Frozen Objects., , und . VSTTE, Volume 5295 von Lecture Notes in Computer Science, Seite 192-208. Springer, (2008)Auditing User-Provided Axioms in Software Verification Conditions., , und . FMICS, Volume 8187 von Lecture Notes in Computer Science, Seite 154-168. Springer, (2013)SPARK 2014 and GNATprove - A competition report from builders of an industrial-strength verifying compiler., , , und . Int. J. Softw. Tools Technol. Transf., 17 (6): 695-707 (2015)