Back to Results
First PageMeta Content
Mathematical logic / Logic / Mathematics / Predicate logic / Formal methods / Semantics / Edsger W. Dijkstra / Predicate transformer semantics / First-order logic / FO / Quantifier / Equality


A Semantic Approach to Secure Information Flow K. Rustan M. Leino1 and Rajeev Joshi2 1 DEC SRC, Palo Alto, CA 94301, USA
Add to Reading List

Document Date: 2010-09-11 18:26:03


Open Document

File Size: 131,55 KB

Share Result on Facebook
UPDATE