APA (7. basım) Alıntı

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications. Association for Computing Machinery (ACM).

Chicago Style (17. basım) Atıf

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and Its Applications. Association for Computing Machinery (ACM).

MLA (8th ed.) Atıf

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and Its Applications. Association for Computing Machinery (ACM).

Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..