B specification of a Spaceship & Asteroids Game, using the B tools Atelier B & ProB as assignment for the Reasoning About Programs module of University of Westminster.
rohanlekamge/Spaceship-and-Asteroids
B specification of a Spaceship & Asteroids Game, using the B tools Atelier B & ProB as assignment for the Reasoning About Programs module of University of Westminster.
Nextflow