Reihe Berichte aus der Informatik

Advanced Utilization of Formal Methods in Automatic Test Pattern Generation for Industrial Designs