Interprocedural Reachability for Flat Integer Programs.

Pierre Ganty, Radu Iosif

Browse the full FCT paper archive.