![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | 2010-01lecturesigumm..> | 2010-05-14 11:53 | 6.9M | |
![]() | 2010-01lecturesigumm..> | 2010-05-14 11:53 | 4.0M | |
![]() | 2010-01lecturesigumm..> | 2010-05-14 11:55 | 4.3M | |
![]() | Alloy.pdf | 2009-10-15 16:58 | 4.4M | |
![]() | Avo.als | 2009-10-29 17:28 | 530 | |
![]() | Barqueiro.als | 2009-10-29 17:33 | 967 | |
![]() | Dependable_Software_..> | 2009-09-29 17:49 | 1.7M | |
![]() | EXER1.pdf | 2010-04-11 22:56 | 639K | |
![]() | EXER2.pdf | 2010-04-29 13:48 | 178K | |
![]() | FS.als | 2009-10-22 17:29 | 1.8K | |
![]() | LN1.pdf | 2010-03-11 12:14 | 528K | |
![]() | LN2.pdf | 2010-03-11 12:14 | 716K | |
![]() | LN3.pdf | 2010-04-11 23:00 | 738K | |
![]() | LN4.pdf | 2010-04-11 22:57 | 353K | |
![]() | LN5.pdf | 2010-05-03 00:03 | 564K | |
![]() | LN6.pdf | 2010-04-29 13:48 | 705K | |
![]() | LN7.pdf | 2010-05-20 15:15 | 1.0M | |
![]() | MBT.zip | 2010-01-07 15:03 | 1.0M | |
![]() | MPlayerMetrics.xls | 2010-02-18 15:20 | 732K | |
![]() | PAS-uppaal-ex-1.tar.gz | 2010-04-29 14:02 | 2.5K | |
![]() | QC.hs | 2010-02-16 22:40 | 3.1K | |
![]() | SFV-BeyondFOL-2up.pdf | 2010-04-08 18:47 | 278K | |
![]() | SFV-CurryHoward-2up.pdf | 2010-05-20 12:29 | 261K | |
![]() | SFV-FOL-2up.pdf | 2010-03-25 16:28 | 250K | |
![]() | SFV-Logic-Intro-2up.pdf | 2010-03-11 19:12 | 85K | |
![]() | SFV-MoreAboutCoq-2up..> | 2010-05-20 15:23 | 236K | |
![]() | SFV-PL-2up.pdf | 2010-03-11 19:11 | 233K | |
![]() | aula1.v | 2010-03-24 18:23 | 3.3K | |
![]() | aula3.v | 2010-04-08 18:49 | 8.5K | |
![]() | aula4.v | 2010-04-22 09:13 | 6.2K | |
![]() | aula5.v | 2010-05-20 12:30 | 8.3K | |
![]() | exercicios.pdf | 2010-06-30 18:16 | 52K | |
![]() | lamportP.tar.gz | 2010-05-20 15:15 | 1.3K | |
![]() | mfes09102csi.pdf | 2010-04-14 15:11 | 144K | |
![]() | model_checking.pdf | 2009-12-22 10:45 | 1.1M | |
![]() | testeAMT.pdf | 2010-02-18 15:20 | 90K | |