Drechsler, R. (2020). Formal System Verification. 1st ed. 2018. Springer International Publishing.
Chicago Stili AlıntıDrechsler, Rolf. Formal System Verification. 1st Ed. 2018. Springer International Publishing, 2020.
MLA AlıntıDrechsler, Rolf. Formal System Verification. 1st Ed. 2018. Springer International Publishing, 2020.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..