Edinburgh Research Explorer

Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery

Research output: Chapter in Book/Report/Conference proceedingChapter

Standard

Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. / Johansson, Moa; Dixon, Lucas; Bundy, Alan.

Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. ed. / Simon Siegler; Nathan Wasser. Vol. 6463 Springer-Verlag, 2010. p. 102-116 (Lecture Notes in Computer Science; Vol. 6463).

Research output: Chapter in Book/Report/Conference proceedingChapter

Harvard

Johansson, M, Dixon, L & Bundy, A 2010, Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. in S Siegler & N Wasser (eds), Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. vol. 6463, Lecture Notes in Computer Science, vol. 6463, Springer-Verlag, pp. 102-116. https://doi.org/10.1007/978-3-642-17172-7

APA

Johansson, M., Dixon, L., & Bundy, A. (2010). Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. In S. Siegler, & N. Wasser (Eds.), Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Vol. 6463, pp. 102-116). (Lecture Notes in Computer Science; Vol. 6463). Springer-Verlag. https://doi.org/10.1007/978-3-642-17172-7

Vancouver

Johansson M, Dixon L, Bundy A. Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. In Siegler S, Wasser N, editors, Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Vol. 6463. Springer-Verlag. 2010. p. 102-116. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-17172-7

Author

Johansson, Moa ; Dixon, Lucas ; Bundy, Alan. / Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. editor / Simon Siegler ; Nathan Wasser. Vol. 6463 Springer-Verlag, 2010. pp. 102-116 (Lecture Notes in Computer Science).