Not registered as user yet

Name:Mike Kabbani
Affiliation:Clemson University

Contributions

ICOOOLPS 2017 Author of A Formalization IDE Integrated with a Verifying Compiler within the ICOOOLPS 2017-track