GitHub repository: ES-2022-1/especificacao-formal
Primary language: Alloy
Created: 2022-07-30T16:51:17Z
Description: Repositório com objetivo de guardar artefatos de especificação formal