Item recomendado: Verificação Formal de Programas C++ que Usam o Framework Multi-Plataforma QT

Para recomendar este item a alguém, preencha o formulário abaixo. Os campos marcados com '*' são obrigatórios