Gaya APA

Taxonomies for the Development and Verification of Digital Systems. (2005). Boston, MA: Springer.

Gaya MLA

Taxonomies for the Development and Verification of Digital Systems. 1st ed.. Boston, MA: Springer, 2005. E Book.