Alefeld2001'

BibTeX

@book{DBLP:books/sp/Alefeld2001,
  editor    = {G{\"o}tz Alefeld and
               Jiri Rohn and
               Siegfried M. Rump and
               Tetsuro Yamamoto},
  title     = {Symbolic Algebraic Methods and Verification Methods},
  publisher = {Springer},
  year      = {2001},
  isbn      = {3-211-83593-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}