GitHub - nujitha99/ArcadeGame: B specification of a Spaceship & Asteroids Game, using the B tools Atelier B & ProB. · GitHub
Skip to content

nujitha99/ArcadeGame

BranchesTags

Folders and files

About

B specification of a Spaceship & Asteroids Game, using the B tools Atelier B & ProB.

Topics

b b-method reasoning-machine
Activity

Stars

0 stars

Watchers

1 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages