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