Keim, Martin2025-05-291997https://epflicht.bibliothek.uni-halle.de/handle/123456789/5037566404931urn:nbn:de:gbv:3:2-772152608351Online-Ressource (PDF-Datei: 15 S., 0,24 MB)enghttp://rightsstatements.org/vocab/InC/1.0/510Polynomial formal verification of multipliers / M. Keim ...Book