Normal view
MARC view
López Pombo, Carlos G (Nombre personal)
Machine generated authority record
Work cat.: ()844581: Frias, Marcelo F. 253678, Reasoning about static and dynamic properties in Alloy :, 2005