@article{727356,
      note = {International conference proceedings.},
      author = {Björner, Nikolaj, and Boer, Frank S. de,},
      url = {http://library.usi.edu/record/727356},
      title = {FM 2015 formal methods : 20th International Symposium,  Oslo, Norway, June 24-26, 2015, Proceedings / [electronic  resource] :. International Symposium of Formal Methods  Europe},
      abstract = {This book constitutes the refereed proceedings of the 20th  International Symposium on Formal Methods, FM 2015, held in  Oslo, Norway, in June 2015. The 30 full papers and 2 short  papers presented were carefully reviewed and selected from  124 submissions. The papers cover a wide spectrum of all  the different aspects of the use of and the research on  formal methods for software development.},
      doi = {https://doi.org/10.1007/978-3-319-19249-9},
      recid = {727356},
      pages = {1 online resource (xvi, 610 pages) :},
}