BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Other

Document subtype
Preprint

Title
Consistency Anchor Formalization and Correctness Proofs

Participants in the publication
Miguel Correia (Author)
Alysson Bessani (Author)
Dep. Informática
 LASIGE
Date of Publication
2014

Publication Identifiers


Export

APA
Miguel Correia, Alysson Bessani, (2014). Consistency Anchor Formalization and Correctness Proofs

IEEE
Miguel Correia, Alysson Bessani, "Consistency Anchor Formalization and Correctness Proofs", 2014

BIBTEX
@misc{34342, author = {Miguel Correia and Alysson Bessani}, title = {Consistency Anchor Formalization and Correctness Proofs}, year = 2014 }