Buscas alternativas:
by contract » of contract (Expandir a busca), the contract (Expandir a busca)
design by » design _ (Expandir a busca)
Exportação concluída — 
Mostrando 1 - 1 resultados de 1 para a busca '"Design by Contract - DbC"', tempo de busca: 0,21s

1

Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.

Publicado em 2007
Acessar documento
Dissertação