Cita APA (7a ed.)
Fuhs, C., Kop, C., & Nishida, N. (Feb 25, 2017). Verifying Procedural Programs via Constrained Rewriting Induction. arXiv.org.
Cita Chicago Style (17a ed.)
Fuhs, Carsten, Cynthia Kop, y Naoki Nishida. "Verifying Procedural Programs via Constrained Rewriting Induction." ArXiv.org Feb 25, 2017.
Cita MLA (9a ed.)
Fuhs, Carsten, et al. "Verifying Procedural Programs via Constrained Rewriting Induction." ArXiv.org, Feb 25, 2017.
Precaución: Estas citas no son 100% exactas.