Métodos formais

Raul H.C. Lopes

Programa

Avaliação

Exemplos

Para compilar/visualizar qualquer arquivo TeX desta página, instale o tarball abaixo no seu home.
Macros para TeX
  1. Tipo Stack
  2. Diretório de telefones
  3. notas sobre lógica