Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|---|
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
2005 | Podelski, Andreas Schaefer, Ina Wagner, Silke | [Sagiv, Mooly] | Summaries for While Programs with Recursion In: Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 94-107 | Proceedings Article | ||||||
2004 | Podelski, Andreas Schaefer, Ina Wagner, Silke | Summaries for While Programs with Recursion | Report | |||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
36 |
| |||||||||
2 |
| |||||||||
3 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
2 |
| |||||||||
2 |
|