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.)
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.)
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.)
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.)
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.)
Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (auth.), Michael Hanus, Jan Heering, Karl Meinke (eds.)
Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Brigitte Pientka (auth.), Matthias Blume, Naoki Kobayashi, Germán Vidal (eds.)
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers
  • PDF
  • English
  • Year: 2003
  • Author: María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas (auth.), Michael Leuschel (eds.)
search