B specification of a very simple version of the old Spaceship & Asteroids arcade game, using the B tools Atelier B & ProB.
brionmario / b-specification-spaceship-asteroids-game Goto Github PK
View Code? Open in Web Editor NEWB specification of a very simple version of the old Spaceship & Asteroids arcade game, using the B tools Atelier B & ProB.
License: MIT License