GSTE Through a Case Study (2002)

by J Yang, A Goel
Venue:Proc. 2002 IEEE/ACM Int. Conf. Computer-Aided Design