Items where Author is "Kumar, Abhijeet"Group by: Item Type | No Grouping Number of items: 1. Banerjee, Ansuman ; Pal, Bhaskar ; Das, Sayantan ; Kumar, Abhijeet ; Dasgupta, Pallab (2006) Test generation games from formal specifications In: 2006 43rd ACM/IEEE Design Automation Conference, 24-28 July 2006, San Francisco, CA. |

Up a level