@article{917418,
      note = {International conference proceedings.},
      author = {Ahrendt, Wolfgang. and Tapia Tarifa, Silvia Lizeth.},
      url = {http://library.usi.edu/record/917418},
      title = {Integrated Formal Methods : 15th International Conference,  IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings  /. International Conference on Integrated Formal Methods},
      abstract = {This book constitutes the refereed proceedings of the 15th  International Conference on Integrated Formal Methods, IFM  2019, held in Bergen, Norway, in December 2019. The 25 full  papers and 3 short papers were carefully reviewed and  selected from 95 submissions. The papers cover a broad  spectrum of topics: from language design to verification  and analysis techniques, to supporting tools and their  integration into software engineering practice including  both theoretical approaches and practical implementations.  Also included are the extended abstracts of 6  "journal-first" papers.},
      recid = {917418},
      pages = {1 online resource (xvii, 554 pages) :},
}