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
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