R. Govind
R. Govind
Affiliation: The Institute of Mathematical Sciences
Pages in this Program
Program Synthesis for Non-Linear Real Arithmetic: Beyond Realizable Specifications
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑