Not registered as user yet

Name:S.P. Suresh
Affiliation:Chennai Mathematical Institute

Contributions

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