Login / Signup

A New Numerical Abstract Domain Based on Difference-Bound Matrices.

Antoine Miné
Published in: PADO (2001)
Keyphrases