conf.researchr.org / Cesar Munoz
![Cesar Munoz](https://conf.researchr.org/getProfileImage/cesarmunoz/9c52a8fb-8572-4fd3-91ed-8d287f3a0d93/small.jpg?1711465658000)
Registered user since Mon 2 Oct 2023
Name:Cesar Munoz
Country:United States
Affiliation:NASA
Personal website: https://shemesh.larc.nasa.gov/people/cam/
GitHub: https://github.com/cesaramh
Research interests:Formal Methods
Contributions