search author

DBLP BibTeX Record 'conf/serp/SamiD08'

@inproceedings{DBLP:conf/serp/SamiD08,
  author    = {Ishrat Sami and
               Brian Dupee},
  title     = {Qualitative Comparison of B, VDM and Z in Specifying Requirements
               of Safety Critical Systems},
  booktitle = {Software Engineering Research and Practice},
  year      = {2008},
  pages     = {469-475},
  crossref  = {DBLP:conf/serp/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/serp/2008,
  editor    = {Hamid R. Arabnia and
               Hassan Reza},
  title     = {Proceedings of the 2008 International Conference on Software
               Engineering Research {\&} Practice, SERP 2008, July 14-17,
               2008, Las Vegas Nevada, USA, 2 Volumes},
  booktitle = {Software Engineering Research and Practice},
  publisher = {CSREA Press},
  year      = {2008},
  isbn      = {1-60132-088-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}