Tallinn University of Technology Department of Computer Engineering ati.ttu.ee Jaan Raik DIAMOND: Targeting Verification and Reliability Issues in Systems.
1 Techniques for automated localization and correction of design errors Jaan Raik Tallinn University of Technology.