GitHub repository: AnthonyByansi/Formal-Methods
Primary language: TeX
Created: 2022-12-29T11:24:58Z
Description: Formal specifications for Vending machine and Library Management System