Cita APA (7a ed.)

Bonelli, E., & Feller, F. The logic of proofs as a foundation for certifying mobile computation. https://doi.org/10.1007/978-3-540-92687-0_6

Cita Chicago Style (17a ed.)

Bonelli, Eduardo, y Federico Feller. The Logic of Proofs as a Foundation for Certifying Mobile Computation. https://doi.org/10.1007/978-3-540-92687-0_6.

Cita MLA (9a ed.)

Bonelli, Eduardo, y Federico Feller. The Logic of Proofs as a Foundation for Certifying Mobile Computation. https://doi.org/10.1007/978-3-540-92687-0_6.