Murray, T., & Lowe, G. (2009). On Refinement−Closed Security Properties and Nondeterministic Compositions.
Cita Chicago (17th ed.)Murray, T., i G. Lowe. On Refinement−Closed Security Properties and Nondeterministic Compositions. 2009.
Cita MLA (9th ed.)Murray, T., i G. Lowe. On Refinement−Closed Security Properties and Nondeterministic Compositions. 2009.
Atenció: Aquestes cites poden no estar 100% correctes.