QUIC Graphs: Relational Invariant Generation for Containers.

Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan

Browse the full ECOOP paper archive.