Georgiev Mikovski, Iván and González Martínez, José Antonio and Mon Trotti, Nicolás (2009) FlexiMC Framework: framework flexible para model checking. [Coursework] (Unpublished)
