Sign in

A parametric segmentation functor for fully automatic and scalable array content analysis.

Patrick CousotRadhia CousotFrancesco Logozzo
Published in: POPL (2011)
Keyphrases