Your search returned 2 results.

Sort
Results
Reasoning about static and dynamic properties in Alloy : A purely relational approach by Series: ^p Datos electrónicos (1 archivo : 412 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Taking alloy to the movies by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Pages