Andreas Podelski
4 published titles
Tree automata and languages
(Contributor)
1 edition
- ISBN: 0444890262
- Elsevier Science Publishers
- 1992
- Details
Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS
(Contributor)
1 edition
- ISBN: 354021299X
- Springer
- 2004
- Details
Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings
(Contributor)
1 edition
- ISBN: 9783540697350
- Springer
- 2007
- Details
Verified software : theories, tools, experiments ; 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 proceedings
(Contributor)
1 edition
- ISBN: 9783642277047
- Springer
- 2012
- Details
