Suportes da apresentação (PDF's):

• Apresentação principal (236K)
• Anexo 1 - Visão geral de UML (492K)
• Anexo 2 - Visão geral de VDM-SL e VDM++ (62K, documento da IFAD)
• Anexo 3 - Visão geral de VDMTools (517K, documento da  IFAD)
• Anexo 4 - Documentação completa do caso de estudo (217K)
• Tudo compactado (1.007K, .zip)