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

(2018, 2019) [Book, Proceedings]

14th International Conference on integrated Formal Methods Maynooth 2018-09-05 - 2018-09-07

Authors

Authors

Ábrahám, Erika
Tarifa, Silvia Lizeth Taipa

Identifier

  • ISBN: 978-82-7368-435-6
  • REPORT NUMBER: RWTH-CONV-236485

Downloads