Kumar Madhukar - TechDebt 2020

Write a Blog >>

Sun 28 - Tue 30 June 2020

co-located with ICSE 2020

Registered user since Wed 30 May 2018

Name:Kumar Madhukar

Country:India

Affiliation:TCS Innovation Labs (TRDDC)

Research interests:Formal Methods, Program Verification, Synthesis

Contributions

2020

ICSE

Using Hypersafety Verification for Proving Correctness of Programming Assignments

Show activities from other conferences

ICSE 2020-profile
View general profile