Universidad Complutense de Madrid
E-Prints Complutense


Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 1.

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)

This list was generated on Thu Nov 14 00:55:36 2019 CET.