Series:

Berichte aus der Informatik

1 total work

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