![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Parnas2010.pdf | 2010-11-15 10:01 | 1.7M | |
| Lindland1994.pdf | 2010-11-15 10:01 | 1.4M | |
| Evermann2005.pdf | 2010-11-15 10:01 | 1.1M | |
| Moody2003.pdf | 2010-11-15 10:01 | 1.1M | |
| Jackson2006.pdf | 2010-11-15 10:01 | 1.0M | |
| Gunter2000.pdf | 2010-11-15 10:01 | 701K | |
| Berry2002.pdf | 2010-11-15 10:01 | 467K | |
| Harel2004.pdf | 2010-11-15 10:01 | 375K | |
| Formal_Semantics_for_UML.pdf | 2010-11-29 15:51 | 272K | |
| Evans1998.pdf | 2010-11-15 10:01 | 181K | |
| Limitations_of_Formal_Methods.pdf | 2010-11-29 15:51 | 110K | |
| Polak2002.pdf | 2010-11-15 10:01 | 88K | |
| Formal_Methods_in_Practice.pdf | 2010-11-30 14:12 | 66K | |