GitHub repository: FabyoSilveira/formalmethods-miniproject1
Primary language: Alloy
Created: 2021-07-08T21:37:08Z
Description: Manage MailApp with Alloy language