Design and Verification of Microprocessor Systems for High-Assurance Applications

MLA

David S. Hardin, and David S Hardin. Design and Verification of Microprocessor Systems for High-assurance Applications. Springer US, 2010.

APA

David S. Hardin, D. S. Hardin, & Hardin, D. S. (2010). Design and Verification of Microprocessor Systems for High-Assurance Applications. Springer US.

Chicago

David S. Hardin, and David S Hardin. Design and Verification of Microprocessor Systems for High-Assurance Applications. : Springer US, 2010.