Citazione Stile APA (7a Edizione)

SpringerLink (Online service) & Drechsler, R. (2018). Formal system verification: State-of-the-art and future trends. Springer International Publishing AG. https://doi.org/10.1007/978-3-319-57685-5

Citazione stile Chigago Style (17a edizione)

SpringerLink (Online service) e Rolf Drechsler. Formal System Verification: State-of-the-art and Future Trends. Cham: Springer International Publishing AG, 2018. https://doi.org/10.1007/978-3-319-57685-5.

Citatione MLA (9a ed.)

SpringerLink (Online service) e Rolf Drechsler. Formal System Verification: State-of-the-art and Future Trends. Springer International Publishing AG, 2018. https://doi.org/10.1007/978-3-319-57685-5.