GitHub - Software-Engineering-Uni-Projects/Spaceship-and-Astreoid-System: Developing a B Specification of the Spaceship and Asteroids System using Atelier B & Pro B. · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
W1810017		W1810017

About

Developing a B Specification of the Spaceship and Asteroids System using Atelier B & Pro B.

formal-methods atelier-b pro-b b-specification

Custom properties

Report repository

Releases

No releases published

Packages

Contributors