![](https://tecnico.ulisboa.pt/files/2023/11/https-backoffice.tecnico.ulisboa.pt-pt-noticias-tecnico-conquist-icos-ulisboa-cgd--40x22.jpg)
Investigador do Técnico recebe prémio Google Research Scholar
O Alive 2, uma ferramenta de verificação automática de compiladores que pode evitar falhas de segurança em sistemas informáticos,começou como protótipo...
O Alive 2, uma ferramenta de verificação automática de compiladores que pode evitar falhas de segurança em sistemas informáticos,começou como protótipo...