Goal-directed program transformation (0)

by B WEGBREIT
Venue:IEEE Trans on Software Eng SE-2