Open smdsousa opened 5 years ago
Course code, if applicable: 11511 University hosting the course: University of Beira Interior Contact person: Simão Melo de Sousa (desousa@di.ubi.pt) Concepts taught: Type Theory, Proof Assistant, Hoare Logic, deductive verification tools Tools used: COQ, Why3 Webpage: http://www.di.ubi.pt/~desousa/PC/pc.html Year/Level: PhD
Course code, if applicable: 11511 University hosting the course: University of Beira Interior Contact person: Simão Melo de Sousa (desousa@di.ubi.pt) Concepts taught: Type Theory, Proof Assistant, Hoare Logic, deductive verification tools Tools used: COQ, Why3 Webpage: http://www.di.ubi.pt/~desousa/PC/pc.html Year/Level: PhD