Fuhs, C., Kop, C., & Nishida, N. (Feb 25, 2017). Verifying Procedural Programs via Constrained Rewriting Induction. arXiv.org.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Chicago-Zitierstil (17. Ausg.)
Fuhs, Carsten, Cynthia Kop, und Naoki Nishida. "Verifying Procedural Programs via Constrained Rewriting Induction."
ArXiv.org Feb 25, 2017.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
MLA-Zitierstil (9. Ausg.)
Fuhs, Carsten, et al. "Verifying Procedural Programs via Constrained Rewriting Induction."
ArXiv.org, Feb 25, 2017.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.