author : K. Rustan M. Leino

Short works

• Abstraction dependencies. 2003. (In Programming Methodology )