GitHub repository: ArthurSampaio/EspecificacaoFormal
Primary language: Alloy
Created: 2017-08-08T16:40:13Z
Description: Especificação Formal de um requisitos em lógica de predicados utilizando a ferramenta Alloy.