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,