RASD, DD and Alloy modelling for a system collecting and sharing health data, written and developed for Software Engineering 2 2018/19 course assignment @ Politecnico di Milano
| First name | Last Name | Email address |
|---|---|---|
| Diego | Piccinotti | [email protected] |
| Umberto | Pietroni | [email protected] |
| Loris | Rossi | [email protected] |
