Back to Results
First PageMeta Content
Software / 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


Contributions to AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods Andrius Velykis
Add to Reading List

Document Date: 2015-09-02 07:29:36

Open Document

File Size: 1,47 MB

Share Result on Facebook