Reasoning about class behavior (2007)

by Vasileios Koutavas, Mitchell Wand
Venue:In FOOL/WOOD