Bavera, F. P., & Bonelli, E. A. (2015). Justification logic and audited computation. Web
Citación estilo ChicagoBavera, Francisco Pedro, and Eduardo Augusto Bonelli. Justification Logic and Audited Computation. 2015.
Cita MLABavera, Francisco Pedro, and Eduardo Augusto Bonelli. Justification Logic and Audited Computation. 2015.
Precaución: Estas citas no son 100% exactas.