https://github.com/uzemiu/event-b_basic

https://github.com/uzemiu/event-b_basic

Last synced: 23 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/uzemiu/event-b_basic
• Owner: Uzemiu
• Created: 2023-10-06T12:22:19.000Z (about 1 year ago)
• Default Branch: master
• Last Pushed: 2023-10-26T13:15:21.000Z (about 1 year ago)
• Last Synced: 2023-10-27T12:03:22.481Z (about 1 year ago)
• Size: 644 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Event-B\_Basic

Event-B Basic