Home Advanced Search

Advanced Search - Page 1

Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Peter O’Hearn, John Reynolds, Hongseok Yang (auth.), Laurent Fribourg (eds.)
Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)
Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)
Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Aditya V. Nori, Sriram K. Rajamani (auth.), Hongseok Yang (eds.)
Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Aditya V. Nori, Sriram K. Rajamani (auth.), Hongseok Yang (eds.)
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Étienne André, Giuseppe Pellegrino (auth.), Víctor Braberman, Laurent Fribourg (eds.)
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Étienne André, Giuseppe Pellegrino (auth.), Víctor Braberman, Laurent Fribourg (eds.)
Programming Languages and Systems: 13th European Symposium on Programming, ESOP 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: Peter W. O’Hearn (auth.), David Schmidt (eds.)
Programming Languages and Systems: 13th European Symposium on Programming, ESOP 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: Peter W. O’Hearn (auth.), David Schmidt (eds.)
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani (eds.)
search