| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Incremental Computation and Dynamic Algorithms (Dagstuhl Seminar 9418) | van Leeuwen, Jan et al. | 2021 |
| 2 | Program Comprehension and Software Reengineering (Dagstuhl Seminar 98101) | Müller, Hausi et al. | 2021 |
| 3 | Programming Environments (Dagstuhl Seminar 9211) | Klint, Paul et al. | 2021 |
| 4 | Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351) | Kroening, Daniel et al. | 2014 |
| 5 | Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051) | King, Andy M. et al. | 2012 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 5 |