Drechsler, R. (2020). Formal System Verification. 1st ed. 2018. Springer International Publishing.
Chicago Style CitationDrechsler, Rolf. Formal System Verification. 1st Ed. 2018. Springer International Publishing, 2020.
Cita MLADrechsler, Rolf. Formal System Verification. 1st Ed. 2018. Springer International Publishing, 2020.
Atenció: Aquestes cites poden no estar 100% correctes.