conf.researchr.org / Swee Balachandran
Not registered as user yet
Name:Swee Balachandran
Country:United States
Affiliation:National Institute of Aerospace
Contributions
| SOAP 2022 | Author of Towards an Implementation of Differential Dynamic Logic in PVS within the SOAP 2022-track |