Liquid Types for Array Invariant Synthesis.

Manuel Montenegro, Susana Nieva, Ricardo Pea, Clara Segura

Browse the full ATVA paper archive.