APA
Sharon Barner I. H. D. K. O. R., . (2011). Hardware and Software: Verification and Testing. Germany: Springer.
Chicago
Sharon Barner Ian Harris Daniel Kroening Orna Raz, . 2011. Hardware and Software: Verification and Testing. Germany: Springer.
Harvard
Sharon Barner I. H. D. K. O. R., . (2011). Hardware and Software: Verification and Testing. Germany: Springer.
MLA
Sharon Barner Ian Harris Daniel Kroening Orna Raz, . Hardware and Software: Verification and Testing. Germany: Springer. 2011.