![](/img/cover-not-exists.png)
[ACM Press the 38th conference - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 38th conference on Design automation - DAC '01 - Semi-formal test generation with genevieve
Dushina, Julia, Benjamin, Mike, Geist, DanielYear:
2001
Language:
english
DOI:
10.1145/378239.379035
File:
PDF, 143 KB
english, 2001