Concurso:
Universidade Federal Fluminense (UFF)
Disciplina:
Engenharia de Software
A especificação formal de software permite descrever os requisitos operacionalmente com o uso de uma linguagem conhecida como:
