Back to Results
First PageMeta Content
Software engineering / Computer programming / Computing / Functional programming / Logic in computer science / Functional languages / Formal methods / Type theory / Monad / F* / Predicate transformer semantics / Haskell


The Formal Semantics and Evolution of the F? Verification System October 11, Relational reasoning in F? : devising scalable verification techniques for properties of multiple program executions (e.g., confidentia
Add to Reading List

Document Date: 2018-10-11 10:56:59


Open Document

File Size: 123,11 KB

Share Result on Facebook
UPDATE