NadeemL06'

BibTeX

@inproceedings{DBLP:conf/prdc/NadeemL06,
  author    = {Aamer Nadeem and
               Michael R. Lyu},
  title     = {A Framework for Inheritance Testing from VDM++ Specifications},
  booktitle = {PRDC},
  year      = {2006},
  pages     = {81-88},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/PRDC.2006.7},
  crossref  = {DBLP:conf/prdc/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/prdc/2006,
  title     = {12th IEEE Pacific Rim International Symposium on Dependable
               Computing (PRDC 2006), 18-20 December, 2006, University
               of California, Riverside, USA},
  booktitle = {PRDC},
  publisher = {IEEE Computer Society},
  year      = {2006},
  isbn      = {0-7695-2724-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}