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 | diego.piccinotti@mail.polimi.it |
| Umberto | Pietroni | umberto.pietroni@mail.polimi.it |
| Loris | Rossi | loris.rossi@mail.polimi.it |