/IoTCOM

Verifying safety of interactions between IoT apps

Primary LanguageAlloyMIT LicenseMIT

Issues