mfes

There are 7 repositories under mfes topic.

afonsobspinto/Master-Informatics-and-Computer-Engineering
A repository to host my student projects at @FEUP @FCUP @UGent
Language:HTML4 2 05
msramalho/feup-mfes
Alloy4fun from 0 to reality
Language:JavaScript2 2 0
afonsojramos/feup-mfes
Formal modelling of GitHub in VDM++ - Software Engineering Formal Methods
Language:TeX0 4 00
vitorhugo13/feup-mfes
Repository of code developed for the course MFES @FEUP
Language:Dafny0 2 00
EdgarACarneiro/feup-mfes
Formal modelling of GitHub in VDM++ ; in collaboration with @AndreFCruz and @joao-conde
Language:Java2 0
orlandopalmeira/Trabalhos-MFES-2023-2024
Repositório dos trabalhos de casa da UC de Métodos Formais em Engenharia de Software (MFES) - Mestrado em Engenharia Informática (MEI/MIEI) - Universidade do Minho (UMinho)
Language:Jupyter Notebook1 0
pmscosta/Formal-Methods-Exercises
Exercises done in Formal Methods in Software Engineering @ FEUP
0 0