PonsG06'

BibTeX

@inproceedings{DBLP:conf/ifip/PonsG06,
  author    = {Claudia Pons and
               Diego Garc\'{\i}a},
  title     = {Practical Verification Strategy for Refinement Conditions
               in UML Models},
  booktitle = {IFIP Workshop on Advanced Software Engineering},
  year      = {2006},
  pages     = {47-61},
  ee        = {http://dx.doi.org/10.1007/978-0-387-34831-5_4},
  crossref  = {DBLP:conf/ifip/2006se},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifip/2006se,
  editor    = {Sergio F. Ochoa and
               Gruia-Catalin Roman},
  title     = {IFIP 19th World Computer Congress, First International Workshop
               on Advanced Software Engineering, Expanding the Frontiers
               of Software Technology, August 25, 2006, Santiago, Chile},
  booktitle = {IFIP Workshop on Advanced Software Engineering},
  publisher = {Springer},
  series    = {IFIP},
  volume    = {219},
  year      = {2006},
  isbn      = {978-0-387-34828-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}