Refinement and term synthesis in loop invariant generation (2009)

by E Maclean, A Ireland, R Atkey, L Dixon
Venue:In WING 09: Workshop on Invariant Generation