Incremental algorithms for inter-procedural analysis of safety properties (2005)

by Christopher L. Conway , Kedar S. Namjoshi , Dennis Dams , Stephen A. Edwards
Citations:20 - 0 self