This is a project for the topic of Mathematical Logic at the Federal University of Campina Grande.
The logic specification written in Alloy describes a car rental store.
igornatanael/rencar
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This is a project for the topic of Mathematical Logic at the Federal University of Campina Grande.
The logic specification written in Alloy describes a car rental store.