Systematic Derivation of Incremental Programs (1995)

by Yanhong A. Liu , Tim Teitelbaum
Citations:40 - 21 self