Contrato (schema JSON)
Descrição formal dos parâmetros de entrada e saída de uma ferramenta, usada para validação automática.
Descrição formal dos parâmetros de entrada e saída de uma ferramenta, usada para validação automática.
Descrição formal dos parâmetros de entrada e saída de uma ferramenta, usada para validação automática.
Descrição formal dos parâmetros de entrada e saída de uma ferramenta, usada para validação automática.
