Your search returned 2 results.

Results
		Reasoning about static and dynamic properties in Alloy : A purely relational approach by Frias, Marcelo F Maibaum, Thomas S. E Aguirre, Nazareno M Baum, Gabriel Alfredo López Pombo, Carlos G Series: ^p Datos electrónicos (1 archivo : 412 KB) Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		Taking alloy to the movies by Frias, Marcelo F López Pombo, Carlos G Baum, Gabriel Alfredo Aguirre, Nazareno M Maibaum, Thomas S. E Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Refine your search