Publications

Publications for Silvia Lizeth Taipa Tarifa

2018

[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.
2017

[bibtex]
Erika Abraham, Silvia Lizeth Taipa Tarifa editors. Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications. Research report 470, September 2017, University of Oslo, 2017.
Show all