New Hardware Design Methods (ESPRIT Working Group 8533 NADA) (ruhend) https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/PMI/forschung/algebraische-systembeschreibung/deduktiver-hardware-entwurf/new-hardware-design-methods-esprit-working-group-8533-nada-ruhen/
Beschreibung Die Projektdokumentation befindet sich in: B. Möller, J.V.
