Automated synthesis and design-error repair of systems.

Georg Hofferek

Browse the full DDECS paper archive.