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. <http://www.easychair.org/publications/?page=2127875681>

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. http://www.easychair.org/publications/?page=2127875681

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).