Back to Results
First PageMeta Content
Theoretical computer science / Software engineering / Formal methods / Logic in computer science / Software testing / Formal verification / Separation logic / Loop invariant / Software verification / Eiffel / Postcondition / Invariant


The AutoProof Verifier: Usability by Non-Experts and on Standard Code Carlo A. Furia Christopher M. Poskitt
Add to Reading List

Document Date: 2015-08-14 13:22:55

Open Document

File Size: 197,46 KB

Share Result on Facebook