Inductive verification of iterative systems (1992)

by J-K Rho, F Somenzi
Venue:In Proc. 29th ACM/IEEE Design Automation Conf