@phdthesis{Gerber1995,
  author      = {Stefan Gerber},
  title       = {Using software for fault detection in arithmetical circuits},
  type        = {doctoralthesis},
  pages       = {123 S.},
  year        = {1995},
}