Cooperation For Better Termination Proving Marc Brockschmidt1 , Byron Cook2 , and Carsten Fuhs3 1 2 3

First Page		Document Content
Date: 2013-08-26 10:13:12 IP KeY Byron Cook Formal methods Applied mathematics Theoretical computer science Static program analysis Termination analysis		Cooperation For Better Termination Proving Marc Brockschmidt1 , Byron Cook2 , and Carsten Fuhs3 1 2 3 Add to Reading List Source URL: www.imn.htwk-leipzig.de Download Document from Source Website File Size: 469,56 KB Share Document on Facebook