pmscosta / Formal-Methods-Exercises

Exercises done in Formal Methods in Software Engineering @ FEUP

FEUP-MFES

Exercises from the MFES course classes.

Project Infos

• 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