Fórum da comunidade

Que modelo de processo aplica especificação matemática e verificação formal, sendo classificado como especializado?

Leia as dúvidas, dicas e respostas da comunidade. Para escrever ou responder, entre na sua conta.