home
>
book reviews
> K. Rustan M. Leino
Google >
K. Rustan M. Leino
author : K. Rustan M. Leino
Short works
Abstraction dependencies. 2003.
(In
Programming Methodology
)