author : Natarajan Shankar

Short works

• Automated verification using deduction, exploration, and abstraction. 2003. (In Programming Methodology )