Dyfyniad APA

Drechsler, R. (2020). Formal System Verification. 1st ed. 2018. Springer International Publishing.

Dyfyniad Arddull Chicago

Drechsler, Rolf. Formal System Verification. 1st Ed. 2018. Springer International Publishing, 2020.

Dyfyniad MLA

Drechsler, Rolf. Formal System Verification. 1st Ed. 2018. Springer International Publishing, 2020.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.