Gautham Shenoy R

Registered user since Tue 12 Nov 2019

Name:Gautham Shenoy R
Country:India
Affiliation:Chennai Mathematical Institute

Contributions

VMCAI 2020 Author of Formalizing and Checking Multilevel Consistency within the VMCAI 2020-track