( en | de | ru )

 

Disambiguierung von "Dross, Claire"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Co-Developing Programs and Their Proof of Correctness.

, , , und . Commun. ACM, 67 (3): 84-94 (März 2024)

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.

Claire Dross

Astrid Dross

Nicolas Dross

Thomas Droß

Gerd Dross

 

Weitere Publikationen von Autoren mit dem selben Namen

Practical Application of SPARK to OpenUxAS., , , , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 751-761. Springer, (2019)Recursive Data Structures in SPARK., und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 178-189. Springer, (2020)Verification of Programs with Pointers in SPARK., , , , und . ICFEM, Volume 12531 von Lecture Notes in Computer Science, Seite 55-72. Springer, (2020)Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK., , und . SecDev, Seite 1-2. IEEE, (2019)Auto-Active Proof of Red-Black Trees in SPARK., und . NFM, Volume 10227 von Lecture Notes in Computer Science, Seite 68-83. (2017)Co-Developing Programs and Their Proof of Correctness., , , und . Commun. ACM, 67 (3): 84-94 (März 2024)Making Proofs of Floating-Point Programs Accessible to Regular Developers., und . VSTTE, Volume 13124 von Lecture Notes in Computer Science, Seite 7-24. Springer, (2021)Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists., , , , und . FMTea, Volume 11758 von Lecture Notes in Computer Science, Seite 23-36. Springer, (2019)