APA ציטוט

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

Chicago Style (17th ed.) Citation

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

ציטוט MLA

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