Projeto da Disciplina de Métodos Formais

Prof.: Augusto Sampaio

Projeto: LVideo - Controle de uma locadora de vídeo

Equipe: André Diniz (ajdb)

             Francisco do Nascimento (fnj)

             Patrícia Maforte (pms)

Arquivos:

• Proposta de projeto.doc

• Descricao (Lvideo.ps)

• Codigo (Lvideo.zed)

• Exemplo (Lvideo.scp)

Criada em 15 de maio de 2001.