Consistency Anchor Formalization and Correctness Proofs

TitleConsistency Anchor Formalization and Correctness Proofs
Publication TypeMiscellaneous
Year of Publication2014
AuthorsBessani, A. Neves, M. Correia, and N. Neves