Edinburgh Research Explorer

Refinement and Term Synthesis in Loop Invariant Generation

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Refinement and Term Synthesis in Loop Invariant Generation. / Maclean, Ewen; Ireland, Andrew; Dixon, Lucas; Atkey, Robert.

WING 2010. ed. / Andrei Voronkov; Laura Kovacs; Nikolaj Bjorner. EasyChair, 2012. p. 167-182 (EPiC Series; Vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Maclean, E, Ireland, A, Dixon, L & Atkey, R 2012, Refinement and Term Synthesis in Loop Invariant Generation. in A Voronkov, L Kovacs & N Bjorner (eds), WING 2010. EPiC Series, vol. 1, EasyChair, pp. 167-182.

APA

Maclean, E., Ireland, A., Dixon, L., & Atkey, R. (2012). Refinement and Term Synthesis in Loop Invariant Generation. In A. Voronkov, L. Kovacs, & N. Bjorner (Eds.), WING 2010 (pp. 167-182). (EPiC Series; Vol. 1). EasyChair.

Vancouver

Maclean E, Ireland A, Dixon L, Atkey R. Refinement and Term Synthesis in Loop Invariant Generation. In Voronkov A, Kovacs L, Bjorner N, editors, WING 2010. EasyChair. 2012. p. 167-182. (EPiC Series).

Author

Maclean, Ewen ; Ireland, Andrew ; Dixon, Lucas ; Atkey, Robert. / Refinement and Term Synthesis in Loop Invariant Generation. WING 2010. editor / Andrei Voronkov ; Laura Kovacs ; Nikolaj Bjorner. EasyChair, 2012. pp. 167-182 (EPiC Series).