[ACM Press the 47th Design Automation Conference - Anaheim, California (2010.06.13-2010.06.18)] Proceedings of the 47th Design Automation Conference on - DAC '10 - Scalable specification mining for verification and diagnosis
Li, Wenchao, Forin, Alessandro, Seshia, Sanjit A.Year:
2010
Language:
english
DOI:
10.1145/1837274.1837466
File:
PDF, 295 KB
english, 2010