( en | de | ru )

 

Disambiguierung von "Kovács, Laura"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Valigator: A Verification Tool with Bound and Invariant Generation.

, , und . LPAR, Volume 5330 von Lecture Notes in Computer Science, Seite 333-342. Springer, (2008)

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.

János Kovács

Ern Kovács

Zoltán Kovács

Annamária Kovács

Ladislaus Kovács

 

Weitere Publikationen von Autoren mit dem selben Namen

Lonely Points in Simplices., , und . CoRR, (2019)Foreword., , und . Math. Comput. Sci., 13 (4): 459-460 (2019)Automating Induction by Reflection., und . CoRR, (2021)Invariant Generation for P-Solvable Loops with Assignments.. CSR, Volume 5010 von Lecture Notes in Computer Science, Seite 349-359. Springer, (2008)Symbolic Computation and Automated Reasoning for Program Analysis.. IFM, Volume 9681 von Lecture Notes in Computer Science, Seite 20-27. Springer, (2016)Non-Classical Logics in Satisfiability Modulo Theories., , , und . TABLEAUX, Volume 14278 von Lecture Notes in Computer Science, Seite 24-36. Springer, (2023)Trace Logic for Inductive Loop Reasoning., , und . FMCAD, Seite 255-263. IEEE, (2020)Lingva: Generating and Proving Program Properties Using Symbol Elimination., und . Ershov Memorial Conference, Volume 8974 von Lecture Notes in Computer Science, Seite 67-75. Springer, (2014)Algebra-Based Loop Analysis.. ISSAC, Seite 41-42. ACM, (2023)Induction with Generalization in Superposition Reasoning., , , , und . CICM, Volume 12236 von Lecture Notes in Computer Science, Seite 123-137. Springer, (2020)