Cancelado

Need to develop B specification of a robot moving around a simple maze using B tools Atelier B and ProB