conf.researchr.org / S.P. Suresh
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 |
Not registered as user yet
Contributions
VMCAI 2020 | Author of Formalizing and Checking Multilevel Consistency within the VMCAI 2020-track |