https://github.com/ruferdz/spaceships-asteroids
🚀 B Specification Program for Spaceships & Asteroids game as a part of 6SENG001W Reasoning About Programs Coursework 01 (2021/22) 🪨
https://github.com/ruferdz/spaceships-asteroids
b-programming formal-methods
Last synced: 2 months ago
JSON representation
🚀 B Specification Program for Spaceships & Asteroids game as a part of 6SENG001W Reasoning About Programs Coursework 01 (2021/22) 🪨
- Host: GitHub
- URL: https://github.com/ruferdz/spaceships-asteroids
- Owner: RuFerdZ
- Created: 2022-08-17T05:28:03.000Z (almost 4 years ago)
- Default Branch: master
- Last Pushed: 2022-08-17T05:28:19.000Z (almost 4 years ago)
- Last Synced: 2026-01-01T02:36:35.383Z (5 months ago)
- Topics: b-programming, formal-methods
- Homepage:
- Size: 575 KB
- Stars: 3
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files: