Back to Results
First PageMeta Content
Theoretical computer science / Formal methods / Mathematical logic / Logic / Logic in computer science / Substructural logic / Hoare logic / Static program analysis / Separation logic / Predicate transformer semantics / Loop invariant / Existential quantification


Overview Hoare Logic Separation Logic Entailment Exercise
Add to Reading List

Document Date: 2010-08-26 04:15:49

Open Document

File Size: 412,76 KB

Share Result on Facebook