Detection of Infeasible Paths Using Presburger Arithmetic.

Kuniaki Naoi, Naohisa Takahashi

Browse the full COMPSAC paper archive.