First Page | Document Content | |
---|---|---|
![]() Date: 2015-09-02 07:29:36Software Theoretical computer science Formal methods Automated theorem proving Logic in computer science Proof assistants Formal verification Automated reasoning KeY Prover9 Frama-C First-order logic | Add to Reading List |