Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications. Association for Computing Machinery (ACM).
Cita Chicago (17th ed.)Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and Its Applications. Association for Computing Machinery (ACM).
Cita MLA (9th ed.)Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and Its Applications. Association for Computing Machinery (ACM).
Atenció: Aquestes cites poden no estar 100% correctes.