M. V. Panduranga Rao
Current Area of Interest: Applications of formal methods
Some Publications