Borrione, D., & Paul, W. (2020). Correct Hardware Design and Verification Methods. Springer Berlin Heidelberg.
Dyfyniad Arddull ChicagoBorrione, Dominique, và Wolfgang Paul. Correct Hardware Design and Verification Methods. Springer Berlin Heidelberg, 2020.
Dyfyniad MLABorrione, Dominique, và Wolfgang Paul. Correct Hardware Design and Verification Methods. Springer Berlin Heidelberg, 2020.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.