DBLP Record 'conf/apsec/NoresRAD04'

BibTeX

@inproceedings{DBLP:conf/apsec/NoresRAD04,
  author    = {Mart\'{\i}n L{\'o}pez Nores and
               Rebeca P. D\'{\i}az Redondo and
               Jos{\'e} J. Pazos Arias and
               Jorge Garc\'{\i}a Duque},
  title     = {An Improved Repository System for Effective and Efficient
               Reuse of Formal Verification Efforts},
  booktitle = {APSEC},
  year      = {2004},
  pages     = {38-45},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2004.28},
  crossref  = {DBLP:conf/apsec/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/apsec/2004,
  title     = {11th Asia-Pacific Software Engineering Conference (APSEC
               2004), 30 November - 3 December 2004, Busan, Korea},
  booktitle = {APSEC},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {0-7695-2245-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}