Shuvendu K. Lahiri - ISSTA 2020

Write a Blog >>

Sat 18 - Wed 22 July 2020

Registered user since Mon 3 Nov 2025

Name:Shuvendu K. Lahiri

Affiliation:Microsoft Research

Contributions

2020

ISSTA

Committee Member in Program Committee within the WoSCA-track
Shuvendu K. Lahiri & Diego Garbervetsky -- VeriSol: Bringing Formal Verification to Solidity Smart Contract Developers

Show activities from other conferences

ISSTA 2020-profile
View general profile