Symbolic Data Structures for Parametric Verification

Cite this paper

@inproceedings{Matousek2005SymbolicDS, title={Symbolic Data Structures for Parametric Verification}, author={Petr Matousek}, year={2005} }