项目作者: afonsojramos
项目描述 :
Formal modelling of GitHub in VDM++ - Software Engineering Formal Methods
高级语言: TeX
项目地址: git://github.com/afonsojramos/feup-mfes.git
feup-mfes
Formal modelling of Github in VDM++ using the Overture Tool for Software Engineering Formal Methods.
Report
Report
Coverage
UML
Project UML
Tests UML