Login / Signup

An Efficient Abstract Domain for Not Necessarily Closed Polyhedra.

Anna BecchiEnea Zaffanella
Published in: SAS (2018)
Keyphrases