Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications. Association for Computing Machinery (ACM).
Cytowanie według stylu Chicago (wyd. 17)Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and Its Applications. Association for Computing Machinery (ACM).
Cytowanie według stylu MLA (wyd. 9)Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and Its Applications. Association for Computing Machinery (ACM).
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..