Project developed in the context of the Computer Science class of Formal Methods, in which VDM++ is used to model the portuguese system ViaVerde(GreenWay).
mpgon/ViaVerde
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Project developed in the context of the Computer Science class of Formal Methods, in which VDM++ is used to model the portuguese system ViaVerde(GreenWay).