APA (7th ed.) Citation

ProQuest (Firm) & Drechsler, R. (2018). Formal system verification: State-of the-art and future trends. Springer.

Chicago Style (17th ed.) Citation

ProQuest (Firm) and Rolf Drechsler. Formal System Verification: State-of The-art and Future Trends. Cham, Switzerland: Springer, 2018.

MLA (8th ed.) Citation

ProQuest (Firm) and Rolf Drechsler. Formal System Verification: State-of The-art and Future Trends. Springer, 2018.