Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications. Association for Computing Machinery (ACM).
Чикаго стиль цитування (17-те видання)Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and Its Applications. Association for Computing Machinery (ACM).
Стиль цитування MLA (9-ме видання)Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and Its Applications. Association for Computing Machinery (ACM).
Попередження: стилі цитування не завжди правильні на всі 100%.