| Recent Seminars and Conferences
Automatic Approaches to Hardware and Software Verification
| Speaker: | Prof. Shobha Vasudevan |
|
|
|
| Speaker Details: | Shobha Vasudevan,
Assistant Professor, ECE,
University of Illinois at Urbana-Champaign
|
| Date: | June 15, 18 and July 2, 8, 9, 13, 15, 20, 22, 27, 2010
|
| Time: | 11am-12:30pm
|
| Venue: | CDEEP room(4th floor GG building) EE department, IIT Bombay
|
| | | |
|