Proof technology and computation - Schwichtenberg, Helmut 1942-; Spies, Katharina (NATO science series,Series III,Computer and systems sciences, 2006)