Proyecto : Verificación formal automatizada de un marcapasos

Luis Sierra

Informe final

• Informe final

Informe de avance a febrero del 2002

• Informe de avance a febrero del 2002

Informe de avance a octubre del 2001

• Informe de avance a octubre del 2001
• Anexo : Situación financiera a octubre del 2001
• Anexo : Versión abreviada de la propuesta (rtf)

Reformulación de gastos (2001)

• Formulación de gastos (rtf)

Propuesta original (1999)

• Propuesta (rtf)
• Formulación de gastos (rtf)