Workshop on "Verifying functional correctness of programs"

Date: 
Tuesday, January 29, 2019
Venue: 
JIT, Bengaluru
Duration: 
1 day
Faculty: 
Prof. Viraj Kumar