An Interactive System for Data Structure Development.

Jibin Ou, Martin T. Vechev, Otmar Hilliges

Browse the full CHI paper archive.