Hardin, D., & Slind, K. (2018, October 10). Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems. arXiv.org. https://doi.org/10.48550/arxiv.1810.04312
Citácia podle Chicago (17th ed.)Hardin, David, a Konrad Slind. "Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems." ArXiv.org 10 Oct. 2018. https://doi.org/10.48550/arxiv.1810.04312.
Citácia podľa MLA (8th ed.)Hardin, David, a Konrad Slind. "Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems." ArXiv.org, 10 Oct. 2018, https://doi.org/10.48550/arxiv.1810.04312.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..