Formale Verifikation von Multiplizierern mit Computeralgebra

Daniela Kaufmann. Formale Verifikation von Multiplizierern mit Computeralgebra. In Steffen Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2020. Volume D-21 of LNI, pages 169-178, GI, 2020. [doi]

@incollection{Kaufmann20-0,
  title = {Formale Verifikation von Multiplizierern mit Computeralgebra},
  author = {Daniela Kaufmann},
  year = {2020},
  url = {https://dl.gi.de/20.500.12116/37902},
  researchr = {https://researchr.org/publication/Kaufmann20-0},
  cites = {0},
  citedby = {0},
  pages = {169-178},
  booktitle = {Ausgezeichnete Informatikdissertationen 2020},
  editor = {Steffen Hölldobler},
  volume = {D-21},
  series = {LNI},
  publisher = {GI},
  isbn = {978-3-88579-775-3},
}