search author

DBLP BibTeX Record 'books/infix/Denker96'

@book{DBLP:books/infix/Denker96,
  author    = {Grit Denker},
  title     = {Verfeinerung in objektorientierten Spezifikationen},
  publisher = {Infix Verlag, St. Augustin, Germany},
  series    = {DISDBIS},
  volume    = {6},
  year      = {1996},
  isbn      = {3-89601-406-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}