APA
Brian Bailey G. M. T. A., . (2014). Taxonomies for the Development and Verification of Digital Systems. Germany: Springer.
Chicago
Brian Bailey Grant Martin Thomas Anderson, . 2014. Taxonomies for the Development and Verification of Digital Systems. Germany: Springer.
Harvard
Brian Bailey G. M. T. A., . (2014). Taxonomies for the Development and Verification of Digital Systems. Germany: Springer.
MLA
Brian Bailey Grant Martin Thomas Anderson, . Taxonomies for the Development and Verification of Digital Systems. Germany: Springer. 2014.