%0 Book Section %1 books/sp/10/KaufmannM10 %A Kaufmann, Matt %A Moore, J Strother %B Design and Verification of Microprocessor Systems for High-Assurance Applications %D 2010 %E Hardin, David S. %I Springer %K dblp %P 1-21 %T ACL2 and Its Applications to Digital System Verification. %U http://dblp.uni-trier.de/db/books/collections/H2010.html#KaufmannM10 %@ 978-1-4419-1538-2

@incollection{books/sp/10/KaufmannM10, added-at = {2023-06-19T00:00:00.000+0200}, author = {Kaufmann, Matt and Moore, J Strother}, biburl = {https://www.bibsonomy.org/bibtex/2d92b76577d0fe25222cf15df6d4bc60a/dblp}, booktitle = {Design and Verification of Microprocessor Systems for High-Assurance Applications}, crossref = {books/sp/2010H}, editor = {Hardin, David S.}, ee = {https://doi.org/10.1007/978-1-4419-1539-9_1}, interhash = {043b7710fc328e73418e58605e8eb007}, intrahash = {d92b76577d0fe25222cf15df6d4bc60a}, isbn = {978-1-4419-1538-2}, keywords = {dblp}, pages = {1-21}, publisher = {Springer}, timestamp = {2024-04-10T04:07:28.000+0200}, title = {ACL2 and Its Applications to Digital System Verification.}, url = {http://dblp.uni-trier.de/db/books/collections/H2010.html#KaufmannM10}, year = 2010 }