Formal System Verification

MLA

Drechsler, Rolf. Formal System Verification. Springer International Publishing, 2018.

APA

Drechsler, R. (2018). Formal System Verification. Springer International Publishing.

Chicago

Drechsler, Rolf Formal System Verification. : Springer International Publishing, 2018.