Carlos Alberto Fernandez y Fernandez

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008

2 EE Anthony J. H. Simons, Carlos Alberto Fernandez y Fernandez: Using Alloy to model-check visual design notations CoRR abs/0802.2258: (2008)

2005

1 EE Anthony J. H. Simons, Carlos Alberto Fernandez y Fernandez: Using Alloy to model-check visual design notations. ENC 2005: 121-128

2008
2	EE	Anthony J. H. Simons, Carlos Alberto Fernandez y Fernandez: Using Alloy to model-check visual design notations CoRR abs/0802.2258: (2008)
2005
1	EE	Anthony J. H. Simons, Carlos Alberto Fernandez y Fernandez: Using Alloy to model-check visual design notations. ENC 2005: 121-128

Coauthor Index

1 Anthony J. H. Simons [1] [2]