Exercises from the MFES course classes.
- Date: 4th Year, 1st Semester, 2019/2012
- Course: Métodos Formais em Engenharia de Software (MFES) | Formal Methods in Software Engineering
- Course Link: https://sigarra.up.pt/feup/pt/ucurr_geral.ficha_uc_view?pv_ocorrencia_id=272280