( en | de | ru )

 

Disambiguierung von "Herranz, Ángel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Generation of Attacker Contracts in Solidity.

, , , , , und . FMBC@CAV, Volume 105 von OASIcs, Seite 3:1-3:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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.

Ángel Rivas Vargas

Ángel López García

Ángel Río Fernández

Ángel Quiroga Negreira

Ángel Escobar Chico

 

Weitere Publikationen von Autoren mit dem selben Namen

Executable contracts for Elixir., , , , und . J. Log. Algebraic Methods Program., (2025)Executable contracts for Elixir., , , , , , und . Erlang Workshop, Seite 40-46. ACM, (2022)Makina: a new QuickCheck state machine library., , , , und . Erlang Workshop, Seite 41-53. ACM, (2021)Controlled Scheduling of Concurrent Elixir Programs., , , , und . Erlang, Seite 67-75. ACM, (2024)Generation and Refinement of Testing Models., , , , und . Erlang Workshop, Seite 14-23. ACM, (2023)Automatic Generation of Attacker Contracts in Solidity., , , , , und . FMBC@CAV, Volume 105 von OASIcs, Seite 3:1-3:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)An Object-oriented Formal Notation: Executable Specifications in Clay = Una notación formal orientada a objetos : especificaciones ejecutables con Clay.. Technical University of Madrid, Spain, (2010)A Verified Implementation of Priority Monitors in Java., und . FoVeOOS, Volume 7421 von Lecture Notes in Computer Science, Seite 160-177. Springer, (2011)Modeling Concurrent Systems with Shared Resources., , , und . FMICS, Volume 5825 von Lecture Notes in Computer Science, Seite 102-116. Springer, (2009)Execution and Verification of UML State Machines with Erlang., , , und . SEFM, Volume 8702 von Lecture Notes in Computer Science, Seite 284-289. Springer, (2014)