Home Advanced Search

Advanced Search - Page 1

Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Roberto Giacobazzi, Isabella Mastroeni (auth.), María Alpuente, Germán Vidal (eds.)
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Leonardo de Moura, Dejan Jovanović (auth.), Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (eds.)
Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings
  • DJVU
  • English
  • Year: 2004
  • Author: Ehud Shapiro (auth.), Roberto Giacobazzi (eds.)
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.)
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.)
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: John P. Gallagher (auth.), Germán Vidal (eds.)
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Germán Vidal (auth.), Danny De Schreye (eds.)
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Germán Vidal (auth.), Danny De Schreye (eds.)
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: John P. Gallagher (auth.), Germán Vidal (eds.)
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)
search