SalemS05'

BibTeX

@inproceedings{DBLP:conf/serp/SalemS05,
  author    = {Ahmed Salem and
               Varun Sharam},
  title     = {Metrics for Multithreaded Java Program Verification},
  booktitle = {Software Engineering Research and Practice},
  year      = {2005},
  pages     = {524-528},
  crossref  = {DBLP:conf/serp/2005-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/serp/2005-2,
  editor    = {Hamid R. Arabnia and
               Hassan Reza},
  title     = {Proceedings of the International Conference on Software
               Engineering Research and Practice, SERP 2005, Las Vegas,
               Nevada, USA, June 27-29, 2005, Volume 2},
  booktitle = {Software Engineering Research and Practice},
  publisher = {CSREA Press},
  year      = {2005},
  isbn      = {1-932415-50-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}