MFES - Ming Mang Game Métodos Formais de Engenharia de Software VDM++ Project Development João Soares - 201206052 | Mafalda Falcão - 201204016 | Pedro Couto - 201218163 MIEIC - FEUP - University of Porto