Kai Kapp

• Eine formale algorithmische Synthese digitaler Schaltungen