Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with feup-mfes

A curated list of projects in awesome lists tagged with feup-mfes .

https://github.com/andrefcruz/feup-mfes

Formal modelling of GitHub in VDM++ ; in collaboration with @EdgarACarneiro and @joao-conde

feup-mfes formal-methods vdm vdmpp

Last synced: 20 Dec 2024