1
Assuntos:
“...Desenvolvimento Baseado em Contratos - Software...”
Uma técnica para verificar não conformidades em programas especificados com contratos.
Dissertação