GitHub repository: maysgar/02263_assignment_1
Description: Formal Aspects of Software Engineering Assignment 1