Bertram Després

• Unterstützung der Konsistenzsicherung beim Entwurf digitaler Schaltungen durch die objektorientierte IREEN Datenbank