@article{DBLP:journals/tosem/FriasPBAM05,
author = {Marcelo F. Frias and
Carlos L{\'o}pez Pombo and
Gabriel A. Baum and
Nazareno Aguirre and
T. S. E. Maibaum},
title = {Reasoning about static and dynamic properties in alloy:
A purely relational approach},
journal = {ACM Trans. Softw. Eng. Methodol.},
volume = {14},
number = {4},
year = {2005},
pages = {478-526},
ee = {http://doi.acm.org/10.1145/1101815.1101819},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2006-06-12 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
