CITATION STYLE
Bjørner, N., & De Boer, F. (2015). FM 2015: Formal Methods: 20th International Symposium Oslo, Norway, June 24–26, 2015 Proceedings. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9109). Springer Verlag. https://doi.org/10.1007/978-3-319-19249-9
Mendeley helps you to discover research relevant for your work.