Items where authors include "Fernandez, C.A.F.Y."

Proceedings Paper

Simons, A.J.H. and Fernandez, C.A.F.Y. (2005) Using Alloy to model-check visual design notations. In: EstivillCastro, V. and Sanchez, J.A., (eds.) Proceeding ENC '05 Proceedings of the Sixth Mexican International Conference on Computer Science. Sixth Mexican International Conference on Computer Science, Sep 26-30, 2005, Puebla, Mexico. ACM , pp. 121-128. ISBN 0-7695-2454-0