APA (7th ed.) Citation

(2018). Formal System Verification: State-of the-Art and Future Trends. Springer International Publishing. https://doi.org/10.1007/978-3-319-57685-5

Chicago Style (17th ed.) Citation

Formal System Verification: State-of The-Art and Future Trends. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-57685-5.

MLA (9th ed.) Citation

Formal System Verification: State-of The-Art and Future Trends. Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-57685-5.