13 Software Security

9.0

13 Software Security🔗

1	Introduction
2	Functional Programming with OCaml
3	Imperative Programming with OCaml
4	Property-Based Randomized Testing (PBT)
5	OCaml Regular Expressions
6	Finite Automata
7	Context Free Grammars
8	Parsing
9	Operational Semantics
10	Type Checking
11	Lambda Calculus
12	Rust
13	Software Security
14	OCaml Exercises