@inproceedings{conf/icons/AndresMN08,
	title = {Formal Development of a Complex Information System.},
	author = {César Andrés and Mercedes G. Merayo and Manuel Núñez},
	booktitle = {ICONS},
	crossref = {conf/icons/2008},
	pages = {118-123},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/icons/icons2008.html#AndresMN08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/20850f5920d968c2dd149cdb13dffa7e5/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ICONS.2008.28}, date = {2008-04-30},
	keywords = {dblp }
}