( en | de | ru )

 

Disambiguierung von "Pek, Edgar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The OpenSMT Solver.

, , , und . TACAS, Volume 6015 von Lecture Notes in Computer Science, Seite 150-153. Springer, (2010)

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.

Sumer Pek

Peter Pek

Ekaterina Pek

Denis Pek

Friedrich Pek

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Incrementalized Runtime Checking of Linear Measures on Lists., , , und . ICST, Seite 310-320. IEEE Computer Society, (2017)Natural proofs for data structure manipulation in C using separation logic., , und . PLDI, Seite 440-451. ACM, (2014)Model Checking Procedures for Infinite State Systems., und . ECBS, Seite 419-425. IEEE Computer Society, (2006)Verifying security invariants in ExpressOS., , , , und . ASPLOS, Seite 293-304. ACM, (2013)Runtime Verification at Work: A Tutorial., , , , , , , und . RV, Volume 10012 von Lecture Notes in Computer Science, Seite 46-67. Springer, (2016)Inferring Formal Properties of Production Key-Value Stores., , , , , und . CoRR, (2017)Explicit and symbolic techniques for fast and scalable points-to analysis., und . SOAP@PLDI, Seite 4:1-4:6. ACM, (2014)The OpenSMT Solver., , , und . TACAS, Volume 6015 von Lecture Notes in Computer Science, Seite 150-153. Springer, (2010)Automated deductive verification of systems software. University of Illinois Urbana-Champaign, USA, (2015)A flexible schema for generating explanations in lazy theory propagation., , und . MEMOCODE, Seite 41-48. IEEE Computer Society, (2010)