Publications

Publications for Silvia Lizeth Taipa Tarifa

2018
Link
[bibtex]
Erika Abraham, Silvia Lizeth Taipa Tarifa editors. Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18). Research report 483, August 2018, University of Oslo, 2018.
Show all