Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)

Ábrahám, Erika (Editor); Tarifa, Silvia Lizeth Taipa (Editor)

(2018, 2019)
Book, Proceedings

In: Research report / University of Oslo 483

Institutions

  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]