Write B-Method (B-Notation) machine specification for the board game Battleships
Budget: £20 – £250 GBP
To develop a B specification of a version of the Battleships board game. The B specification is to be developed using the B tools Atelier B and ProB.
More detailed project specs attached in PDF. Please contact me if you have questions.
More detailed project specs attached in PDF. Please contact me if you have questions.