Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications. Association for Computing Machinery (ACM).
Citação norma ChicagoProceedings of the Sixth International Workshop on the ACL2 Theorem Prover and Its Applications. Association for Computing Machinery (ACM).
Citação norma MLAProceedings of the Sixth International Workshop on the ACL2 Theorem Prover and Its Applications. Association for Computing Machinery (ACM).
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.