DBLP Record 'reference/wiley/KulczyckiSRY08'

BibTeX

@incollection{DBLP:reference/wiley/KulczyckiSRY08,
  author    = {Gregory Kulczycki and
               Murali Sitaraman and
               Kimberly Roche and
               Nighat Yasmin},
  title     = {Formal Specification},
  booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
  year      = {2008},
  ee        = {http://dx.doi.org/10.1002/9780470050118.ecse161},
  crossref  = {DBLP:reference/wiley/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{DBLP:reference/wiley/2008,
  editor    = {Benjamin W. Wah},
  title     = {Wiley Encyclopedia of Computer Science and Engineering},
  booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
  publisher = {John Wiley {\&} Sons, Inc.},
  year      = {2008},
  ee        = {http://mrw.interscience.wiley.com/emrw/9780470050118/home/},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}