A Refinement Algebra for Object-Oriented Programming (2003)

Cached

Download Links

by Paulo Borba , Augusto Sampaio , Marcio Cornelio
Citations:16 - 3 self