Building a Calculus of Data Structures.

Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies

Browse the full VMCAI paper archive.