Exportar referência
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
}