Segurança em Software
pt
en
Static analysis of high-level languages
11 novembro 2019, 11:00
•
Ana Almeida Matos
Type Systems for Information Flow.
Página Inicial
Grupos
Avaliação
Bibliografia
Horário
Métodos de Avaliação
Objectivos
Planeamento
Programa
Turnos
Anúncios
Sumários
Notas
Resultado dos QUC
Office Hours
Slides
Labs and Practical classes
Exercises/tests
Project
Additional study materials
Grades
