Events

5th International Symposium on Automated Technology for Verification and Analysis -- ATVA 2007

Tokyo 22.-26.10.2007

Selected publications

2007HABERMEHL Peter, IOSIF Radu, ROGALEWICZ Adam and VOJNAR Tomáš. Proving Termination of Tree Manipulating Programs. In: Automated Technology for Verification and Analysis. Berlin: Springer Verlag, 2007, pp. 145-161. ISBN 978-3-540-75595-1.

Your IPv4 address: 3.91.157.213
Switch to https