@inproceedings{DBLP:conf/icons/AndresMN08,
author = {C{\'e}sar Andr{\'e}s and
Mercedes G. Merayo and
Manuel N{\'u}{\~n}ez},
title = {Formal Development of a Complex Information System},
booktitle = {ICONS},
year = {2008},
pages = {118-123},
ee = {http://doi.ieeecomputersociety.org/10.1109/ICONS.2008.28},
crossref = {DBLP:conf/icons/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icons/2008,
title = {The Third International Conference on Systems, ICONS 2008,
April 13-18, 2008, Cancun, Mexico},
booktitle = {ICONS},
publisher = {IEEE Computer Society},
year = {2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2008-05-05 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
