( en | de | ru )

 

Disambiguierung von "Jovanovic, Dejan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Specification and Verification of Solidity Contracts with Events (Short Paper).

, , und . FMBC@CAV, Volume 84 von OASIcs, Seite 2:1-2:9. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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.

Milka Dejanowa

Alexander Jovanovic

Natasa Jovanovic

Boro Dejanovic

Borislav Dejanović

 

Weitere Publikationen von Autoren mit dem selben Namen

Solving Bitvectors with MCSAT: Explanations from Bits and Pieces., , und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 103-121. Springer, (2020)Verification of Fault-Tolerant Protocols with Sally., , und . NFM, Volume 10811 von Lecture Notes in Computer Science, Seite 113-120. Springer, (2018)Engaging citizen communities in smart cities using IoT, serious gaming and fast markerless Augmented Reality., , , , und . RIoT, Seite 1-6. IEEE, (2015)Interpolation and Model Checking for Nonlinear Arithmetic., und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 266-288. Springer, (2021)Solving Nonlinear Integer Arithmetic with MCSAT.. VMCAI, Volume 10145 von Lecture Notes in Computer Science, Seite 330-346. Springer, (2017)Solving Non-linear Arithmetic., und . IJCAR, Volume 7364 von Lecture Notes in Computer Science, Seite 339-354. Springer, (2012)Sharing Is Caring: Combination of Theories., und . FroCoS, Volume 6989 von Lecture Notes in Computer Science, Seite 195-210. Springer, (2011)Formal Specification and Verification of Solidity Contracts with Events (Short Paper)., , und . FMBC@CAV, Volume 84 von OASIcs, Seite 2:1-2:9. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Model-Driven Decision Procedures for Arithmetic., und . SYNASC, Seite 11. IEEE Computer Society, (2013)An MCSAT treatment of Bit-Vectors., und . SMT, Volume 1889 von CEUR Workshop Proceedings, Seite 89-100. CEUR-WS.org, (2017)