Home Advanced Search

Advanced Search - Page 1

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
Isabelle: A Generic Theorem Prover
  • DJVU
  • English
  • Year: 1994
  • Author: Lawrence C. Paulson (eds.)
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: David Aspinall, Donald Sannella (auth.), Hélène Kirchner, Christophe Ringeissen (eds.)
Frontiers of Combining Systems: Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Alexander Bockmayr, Friedrich Eisenbrand (auth.), Hélène Kirchner, Christophe Ringeissen (eds.)
Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Gerwin Klein (auth.), Matt Kaufmann, Lawrence C. Paulson (eds.)
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Lawrence C. Paulson (auth.), Lennart Beringer, Amy Felty (eds.)
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Lawrence C. Paulson (auth.), Lennart Beringer, Amy Felty (eds.)
Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Gerwin Klein (auth.), Matt Kaufmann, Lawrence C. Paulson (eds.)
Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Behzad Akbarpour, Lawrence C. Paulson (auth.), Rupak Majumdar, Paulo Tabuada (eds.)
search