B specification of a Robot moving around a simple Maze, using the B tools Atelier B & ProB.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool