Buscas alternativas:
refinamento formal » refinamento local (Expandir a busca), pensamento formal (Expandir a busca)
refinamento formal » refinamento local (Expandir a busca), pensamento formal (Expandir a busca)
1
Assuntos:
“...Refinamento formal de sistemas...”
Geração de especificação formal de sistemas a partir de documento de requisitos
Dissertação