Closed asfmendes closed 3 years ago
Course code, if applicable: University hosting the course: Universidade da Beira Interior Contact person: Alexandra Mendes, alexandra@archimendes.com Concepts taught: Axiomatic Semantics ,Calculational Method,Certified Compilation,Denotational Semantics,Functional Programming,Induction,Proofs,Proof Theory,Software Verification,Theorem Proving Tools used: Haskell Webpage: Year/Level: MSc
Course code, if applicable: University hosting the course: Universidade da Beira Interior Contact person: Alexandra Mendes, alexandra@archimendes.com Concepts taught: Axiomatic Semantics ,Calculational Method,Certified Compilation,Denotational Semantics,Functional Programming,Induction,Proofs,Proof Theory,Software Verification,Theorem Proving Tools used: Haskell Webpage: Year/Level: MSc