Open luigiapetre opened 6 years ago
Course code, if applicable: CSSE3100 University hosting the course: The University of Queensland Contact person: Graeme Smith, smith@itee.uq.edu.au Concepts taught: Hoare Logic, theorem proving, refinement calculus Tools used: KeY Webpage: https://my.uq.edu.au/programs-courses/course.html?course_code=csse3100 Year/Level: 3
Course code, if applicable: CSSE3100 University hosting the course: The University of Queensland Contact person: Graeme Smith, smith@itee.uq.edu.au Concepts taught: Hoare Logic, theorem proving, refinement calculus Tools used: KeY Webpage: https://my.uq.edu.au/programs-courses/course.html?course_code=csse3100 Year/Level: 3