Back to Results
First PageMeta Content
Theoretical computer science / Computing / Software engineering / Logic in computer science / Automated theorem proving / Static program analysis / Termination analysis / Rewriting / KeY / Automated reasoning / Bytecode / Christoph Walther


SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany
Add to Reading List

Document Date: 2011-06-23 09:19:29

Open Document

File Size: 231,59 KB

Share Result on Facebook
UPDATE