SpringerLink (Online service), & Hardin, D. S. (2010). Design and Verification of Microprocessor Systems for High-Assurance Applications (1st ed. 2010.). New York, NY: Springer US : Imprint: Springer.
Chicago Style CitationSpringerLink (Online service), and David S. Hardin. Design and Verification of Microprocessor Systems for High-Assurance Applications. 1st ed. 2010. New York, NY: Springer US : Imprint: Springer, 2010.
MLA CitationSpringerLink (Online service), and David S. Hardin. Design and Verification of Microprocessor Systems for High-Assurance Applications. 1st ed. 2010. New York, NY: Springer US : Imprint: Springer, 2010.
Warning: These citations may not always be 100% accurate.