AHRENDT, BECKERT, HÄHNLE, MENZEL, REIF, SCHELLHORN, SCHMITT INTEGRATING AUTOMATED AND INTERACTIVE THEOREM PROVING 1. I NTRODUCTION

First Page		Document Content
Date: 2009-08-28 10:31:35		AHRENDT, BECKERT, HÄHNLE, MENZEL, REIF, SCHELLHORN, SCHMITT INTEGRATING AUTOMATED AND INTERACTIVE THEOREM PROVING 1. I NTRODUCTION Add to Reading List Source URL: www.cse.chalmers.se Download Document from Source Website File Size: 88,39 KB Share Document on Facebook