Cancer
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Formal model of the LinkedIn Network done in VDM++. For more information, check the report.
License:MIT License