Static analysis of digital filters (2004)

by J Feret
Venue:In Proc. of the 13th European Symp. on Programming (ESOP’04), volume 2986 of LNCS