APA (7th ed.) Citation

International Conference on Integrated Formal Methods, Furia, C. A., & Winter, K. (2018). Integrated formal methods: 14th international conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, proceedings. Springer. https://doi.org/10.1007/978-3-319-98938-9

Chicago Style (17th ed.) Citation

International Conference on Integrated Formal Methods, Carlo A. Furia, and Kirsten Winter. Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. Cham: Springer, 2018. https://doi.org/10.1007/978-3-319-98938-9.

MLA (9th ed.) Citation

International Conference on Integrated Formal Methods, et al. Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. Springer, 2018. https://doi.org/10.1007/978-3-319-98938-9.