Search

Masters Final Oral: Ashwin Kallingal Joshy

Monday, April 10, 2017 - 2:00pm

Title: Computing Change of Invariants to Support Software Evolution
Date/Time: April 10th, 2017 @ 2:00 PM
Place: 223 Atanasoff  
Major Professor: Wei Le
Committee Members: Samik Basu, Jin Tian

Abstract: