conf.researchr.org / Murali Sitaraman
Not registered as user yet
Name:Murali Sitaraman
Affiliation:Clemson University
Contributions
ICOOOLPS 2017 | Author of A Formalization IDE Integrated with a Verifying Compiler within the ICOOOLPS 2017-track |
Not registered as user yet
Contributions
ICOOOLPS 2017 | Author of A Formalization IDE Integrated with a Verifying Compiler within the ICOOOLPS 2017-track |