GitHub repository: JoabUrbano/DuckMarketPlace
Primary language: C
Created: 2025-05-10T14:36:45Z
Description: Répositorio destinado ao projedo da máteria de métodos formais, que conta com a especificação de máquinas em B.