Implementação de ADTs
27 Março 2017, 11:30 • Antónia Lopes
Ainda a implementação de ADTs: equals e clone; análise da correção de uma implementação de um ADT face à sua especificação. A análise da correção de implementações de ADTs suportada pelo ConGu