( en | de | ru )

 

Disambiguierung von "Pereira, Mário"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CISE3: Verificação de aplicações com consistência fraca em Why3.

, , und . CoRR, (2019)

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.

Simone Marion

Ernst Marioth-Wirtz

Anneliese Marioth

Martin Marioth

Ilias Mariolakos

 

Weitere Publikationen von Autoren mit dem selben Namen

CISE3: Verificação de aplicações com consistência fraca em Why3., , und . CoRR, (2019)Evaluation of Underwater IEEE 802.11 Networks at VHF and UHF Frequency Bands using Software Defined Radios., , , , , und . WUWNet, Seite 16:1-16:5. ACM, (2015)Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols., , , , und . Proc. ACM Program. Lang., 7 (ICFP): 847-877 (August 2023)A tool for proving Michelson Smart Contracts in WHY3*., , , und . Blockchain, Seite 409-414. IEEE, (2020)Liquid Intersection Types., , und . ITRS, Volume 177 von EPTCS, Seite 24-42. (2014)Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version)., , und . CoRR, (2022)Auto-active Verification of Graph Algorithms, Written in OCaml., und . CoRR, (2022)Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable., , und . VSTTE, Volume 13800 von Lecture Notes in Computer Science, Seite 20-32. Springer, (2022)Cameleer: A Deductive Verification Tool for OCaml., und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 677-689. Springer, (2021)Animated Logic: Correct Functional Conversion to Conjunctive Normal Form., , und . PAAR+SC²@IJCAR, Volume 2752 von CEUR Workshop Proceedings, Seite 1-20. CEUR-WS.org, (2020)