MAC 239 - Métodos Formais em Programação

Segundo semestre de 2004

 
 

Para se inscrever na lista, basta mandar um e-mail vazio para:

         renata-mac239-subscribe@ime.usp.br

Você receberá um pedido de confirmação por e-mail; basta dar um reply.

Mensagens enviadas para renata-mac239@ime.usp.br serão distribuídas
para todos os inscritos.

As mensagens trocadas na lista podem ser vistas aqui.