Type
Publication
Formal Methods in Computer-Aided Design, First International Conference, FMCAD ‘96, Palo Alto, California, USA, November 6-8, 1996, Proceedings
Venkatesh Choppella
Associate Professor
My research interests include Programming languages, S/W architectures, Formal Methods, CS education