Type
Publication
Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Venkatesh Choppella
Associate Professor
My research interests include Programming languages, S/W architectures, Formal Methods, CS education