First Page | Document Content | |
---|---|---|
![]() Date: 2011-06-23 09:19:29Theoretical computer science Computing Software engineering Logic in computer science Automated theorem proving Static program analysis Termination analysis Rewriting KeY Automated reasoning Bytecode Christoph Walther | Add to Reading List |