An Approach for Proving the Correctness of Inspector/Executor Transformations.

Michael NorrishMichelle Mills Strout
Published in: LCPC (2014)