Back to Results
First PageMeta Content
Software / Theoretical computer science / Formal methods / Logic in computer science / Automated theorem proving / Constraint programming / Predicate logic / Frama-C / Satisfiability modulo theories / TPTP / Mereology / SPASS


Event-B & Cloud Provers A. Iliasov D. Adjepon-Yamoah P. Stankaitis
Add to Reading List

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

Open Document

File Size: 495,32 KB

Share Result on Facebook
UPDATE