Mostrando 1 - 3 resultados de 3 para a busca '(( coder coding using formal verification ) OR ( manim python python python programming ))', tempo de busca: 1,75s Refinar Resultados
1
Assuntos: ...Python (Linguagem de programação de computador)...
Acessar documento
Artigo
2
Publicado em 2017
... for supporting the modelling, coding, and verification of applications for specific domains. Ontologies, on the...
Acessar documento
Tese
3
Publicado em 2016
... component in formal software verification. It consists on inspecting code, often using automated tools...
Acessar documento
Exportar CSV Export RIS