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}, }