[ACM Press the 2006 IEEE/ACM international conference - San Jose, California (2006.11.05-2006.11.09)] Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design - ICCAD '06 - Stepping forward with interpolants in unbounded model checking
Cabodi, Gianpiero, Murciano, Marco, Nocco, Sergio, Quer, StefanoYear:
2006
Language:
english
DOI:
10.1145/1233501.1233661
File:
PDF, 179 KB
english, 2006