Início
Painéis de Indicadores
Ferramentas
Carrot2
Visão
Equipe
Sobre
Contato
Inglês
Inglês
Português
LIBERA UNIVERSITÀ DI BOLZANO - FACOLTÀ DI SCIENZE
Organização
Visão geral
Serviço
Identidade
Ver todos
Visão geral
Patrocinado por
On the Feasibility of Model Checking to Validate Compiler Outputs
Documento
Serviço
oferece curso
https://brcris.ibict.br/individual/cour_58c8b8f3-d7ce-401c-8f62-bae9c02e36c2
Identidade
identificador BrCris
0bbdd59fee10a27e989a921578138eda