Course 01 - Introduction to OCaml
Course 02 - Functional Programming in OCaml
Course 03 - Programmming with Functions
Course 04 - Induction
Course 05 - Operational Semantics
Course 06 - Programming in Lambda Calculus
Course 07 - Types
Course 08 - Erasure & Typability
Course 09 - References
Course 10 - Subtyping
Course 11 - Subtyping Relation
Course 12 - Objects
Course 13 - Recap
Bowen, J.P. - Seven More Myths of Formal Methods
Bowen, J.P., Hinchey, M.G. - Ten Commandments of Formal Methods
Bowen, J.P., Hinchey, M.G. - Ten Commandments of Formal Methods ... Ten Years Later
Clearsy System Engineering
Clearsy System Engineering
Hall, A. - Seven Myths of Formal Methods