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

(2018, 2019) [Buch, Tagungsband]

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

Autorinnen und Autoren

Autorinnen und Autoren

Ábrahám, Erika
Tarifa, Silvia Lizeth Taipa

Identifikationsnummern

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

Downloads