Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / joulook / Formal-Specification-and-Verification-of-Programs-Fall-2020
In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language: TeX
Repo Size: 5.13 MB
Dependencies:
0
Created: almost 2 years ago
Updated: almost 2 years ago
Last pushed: almost 2 years ago
Last synced: 6 months ago
Topics: equational-logic, equational-reasoning, first-order-logic, formal-methods, formal-specification, formal-verification, logic, proof-systems, z, z-notation, z-notations
Files
No dependencies found