DBLP BibTeX Record 'conf/icse/FriasGPA05'

@inproceedings{DBLP:conf/icse/FriasGPA05,
  author    = {Marcelo F. Frias and
               Juan P. Galeotti and
               Carlos L{\'o}pez Pombo and
               Nazareno Aguirre},
  title     = {DynAlloy: upgrading alloy with actions},
  booktitle = {ICSE},
  year      = {2005},
  pages     = {442-451},
  ee        = {http://doi.acm.org/10.1145/1062455.1062535},
  crossref  = {DBLP:conf/icse/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icse/2005,
  editor    = {Gruia-Catalin Roman and
               William G. Griswold and
               Bashar Nuseibeh},
  title     = {27th International Conference on Software Engineering (ICSE
               2005), 15-21 May 2005, St. Louis, Missouri, USA},
  booktitle = {ICSE},
  publisher = {ACM},
  year      = {2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Last update 2009-06-09 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page