APA citiranje

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

Chicago Style (17th ed.) Citation

SpringerLink (Online service) and 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.

MLA citiranje

SpringerLink (Online service) and 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.