skip to main content
skip to events
Home  /  News & Events  /  Seminars

Upcoming Events

Previous

Tuesday, October 15, 2013

Next
Tuesday, October 15th, 2013
12:00pm 1:00pm
Add to Cal

IST Lunch Bunch

Approximate Formal Verification Using Model-Based Testing
Rance Cleaveland, Professor of Computer Science, University of Maryland,