Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona

First Page		Document Content
Date: 2012-03-21 07:54:00		Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona Add to Reading List Source URL: www.cse.chalmers.se Download Document from Source Website File Size: 321,56 KB Share Document on Facebook