ConcurInterproc analyzer for recursive programs with numerical variables

Bertrand Jeannet