Course code, if applicable:
University hosting the course: University of Oxford
Contact person: Andrew Simpson, Andrew.Simpson@cs.ox.ac.uk
Concepts taught: Deductive Proof,Formal Specification,Induction,Logic,Proofs,Specification,Z Method
Tools used: No Tools
Webpage: https://www.cs.ox.ac.uk/softeng/subjects/SEM.html
Year/Level: MSc
Reviewed: 2022/03/30
Course code, if applicable: University hosting the course: University of Oxford Contact person: Andrew Simpson, Andrew.Simpson@cs.ox.ac.uk Concepts taught: Deductive Proof,Formal Specification,Induction,Logic,Proofs,Specification,Z Method Tools used: No Tools Webpage: https://www.cs.ox.ac.uk/softeng/subjects/SEM.html Year/Level: MSc Reviewed: 2022/03/30