DMCA

Refinement and Term Synthesis in Loop Invariant Generation (2009)

by Ewen Maclean , Andrew Irel , Robert Atkey , Lucas Dixon
Venue:2nd International Workshop on Invariant Generation (WING’09
Citations:3 - 2 self