( en | de | ru )

 

Disambiguierung von "Sharygina, Natasha"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Decision Procedures for Flat Array Properties.

, , und . J. Autom. Reason., 54 (4): 327-352 (2015)

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.

Natasha Schlothauer

Natasha Karnatz

Natasha Sacks

Natasha Moser

Natasha Diller

 

Weitere Publikationen von Autoren mit dem selben Namen

SATABS: SAT-Based Predicate Abstraction for ANSI-C., , , und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 570-574. Springer, (2005)eVolCheck: Incremental Upgrade Checker for C., , und . TACAS, Volume 7795 von Lecture Notes in Computer Science, Seite 292-307. Springer, (2013)Cogent: Accurate Theorem Proving for Program Verification., , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 296-300. Springer, (2005)Booster: An Acceleration-Based Verification Framework for Array Programs., , und . ATVA, Volume 8837 von Lecture Notes in Computer Science, Seite 18-23. Springer, (2014)Definability of Accelerated Relations in a Theory of Arrays and Its Applications., , und . FroCos, Volume 8152 von Lecture Notes in Computer Science, Seite 23-39. Springer, (2013)Dynamic Component Substitutability Analysis., , , und . FM, Volume 3582 von Lecture Notes in Computer Science, Seite 512-528. Springer, (2005)Complementarities Among the Technologies Presented in the Book., , , und . Validation of Evolving Software, Springer, (2015)An extension of lazy abstraction with interpolation for programs with arrays., , , , und . Formal Methods Syst. Des., 45 (1): 63-109 (2014)A Parametric Interpolation Framework for First-Order Theories., , und . MICAI (1), Volume 8265 von Lecture Notes in Computer Science, Seite 24-40. Springer, (2013)Lookahead-Based SMT Solving., , , , und . LPAR, Volume 57 von EPiC Series in Computing, Seite 418-434. EasyChair, (2018)