Formal methods in software engineering lecture 4 Formal methods in software engineering lecture 3 Formal methods in software engineering course lecture 2 Reinforcement learning through human feedback (A.L course lecture) Artificial Intelligence- lecture 1 from BUKC lecture 1 Software metrics lecture 1 from BUKC lecture 
