Implementation of board game Blokus in VDM++, translated into Java with a GUI made using Swing.