Write a Blog >>
Gautham Shenoy R

Registered user since Tue 12 Nov 2019

Name: Gautham Shenoy R

Country: India

Affiliation: Chennai Mathematical Institute

Contributions

VMCAI 2020Author of Formalizing and checking Multilevel Consistency within the VMCAI 2020-track
Show activities from other conferences

Using general profile