Giters

nuno-silva18 / MFES-Jyve

Formal model of the Jyve application done in VDM++

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

MFES-Jyve

Description

Formal model of the Jyve application done in VDM++ and Java.

About

Formal model of the Jyve application done in VDM++

License:MIT License

Languages

Language:Java 100.0%