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 |