Incremental algorithms for interprocedural analysis of safety properties (2005)

by C L Conway, K S Namjoshi, D Dams, S A Edwards
Venue:In Proc. CAV’05, volume 3576 of LNCS