Home Advanced Search

Advanced Search - Page 1

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
Constraint Processing: Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Andreas Podelski, Peter Van Roy (auth.), Manfred Meyer (eds.)
Constraint Processing: Selected Papers
  • PDF
  • English
  • Year: 1995
  • Author: Andreas Podelski, Peter Van Roy (auth.), Manfred Meyer (eds.)
Constraint Programming: Basics and Trends: 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Frédéric Benhamou (auth.), Andreas Podelski (eds.)
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.)
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Gogul Balakrishnan, Thomas Reps (auth.), Byron Cook, Andreas Podelski (eds.)
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Andreas Podelski
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 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)
search