

Segurança de Software
O curso aborda técnicas fundamentais de análise de programas baseadas em tipos e lógicas, permitindo identificar comportamentos ilícitos, verificar a ausência desses comportamentos e explorar ferramentas que implementam essas técnicas.







































