Back to Results
First PageMeta Content
Automated theorem proving / Usability / KeY / Automated reasoning / Proof assistant / Reasoning system / Formal verification / E theorem prover / Isabelle / Software testing / Geoff Sutcliffe / Software verification


Document Date: 2012-07-10 09:41:34

Open Document

File Size: 863,63 KB

Share Result on Facebook