https://github.com/jiriklepl/ntin043

Repo for assignments on NTIN043 (Formal Foundations of Software Engineering)
https://github.com/jiriklepl/ntin043

alloy maude mff-uk not-interesting-for-anybody

Last synced: 17 days ago
JSON representation

Repo for assignments on NTIN043 (Formal Foundations of Software Engineering)

• Host: GitHub
• URL: https://github.com/jiriklepl/ntin043
• Owner: jiriklepl
• Created: 2020-11-16T04:34:45.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2021-01-05T10:38:52.000Z (almost 4 years ago)
• Last Synced: 2023-03-03T14:47:52.435Z (almost 2 years ago)
• Topics: alloy, maude, mff-uk, not-interesting-for-anybody
• Language: Alloy
• Homepage: https://d3s.mff.cuni.cz/teaching/ntin043/
• Size: 13 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project