De Angelis, E., Fioravanti, F., Gallagher, J. P., Hermenegildo, M. V., Pettorossi, A., & Proietti, M. (Aug 2, 2021). Analysis and Transformation of Constrained Horn Clauses for Program Verification. arXiv.org.
Հաջողությամբ պատճենվել է միջանկյալ հիշողություն
Պատճենումը միջանկյալ հիշողություն ձախողվեց
Չիկագոյի ոճի (17րդ խմբ.) մեջբերում
De Angelis, Emanuele, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, and Maurizio Proietti. "Analysis and Transformation of Constrained Horn Clauses for Program Verification."
ArXiv.org Aug 2, 2021.
Հաջողությամբ պատճենվել է միջանկյալ հիշողություն
Պատճենումը միջանկյալ հիշողություն ձախողվեց
MLA (9րդ խմբ.) Մեջբերում
De Angelis, Emanuele, et al. "Analysis and Transformation of Constrained Horn Clauses for Program Verification."
ArXiv.org, Aug 2, 2021.
Հաջողությամբ պատճենվել է միջանկյալ հիշողություն
Պատճենումը միջանկյալ հիշողություն ձախողվեց
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.