Enviar a expressão CTL das propriedades definidas em sala para o jantar dos filósofos. Apenas um aluno por grupo precisa enviar. Indicar o nome e número USP de todos os integrantes do grupo.
| Disponível a partir de: | sexta, 2 setembro 2011, 14:10 |
| Data de entrega: | sexta, 9 setembro 2011, 14:10 |