GitHub repository: thalytafabrine/transportadoraDeCargas
Primary language: Alloy
Description: Projeto da disciplina Lógica Matemática 2017.1