Home Advanced Search

Advanced Search - Page 1

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Dominique Bolignano (auth.), Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (eds.)
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Dominique Bolignano (auth.), Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (eds.)
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2016
  • Author: Sandrine Blazy, Marsha Chechik (eds.)
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Sandrine Blazy, Thomas Jensen (eds.)
Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Sandrine Blazy, Philippe Facon (auth.), Olivier Danvy, Robert Glück, Peter Thiemann (eds.)
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
  • PDF
  • English
  • Year: 2008
  • Author: Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
Lipid Storage Disorders: Biological and Medical Aspects
  • PDF
  • English
  • Year: 1988
  • Author: Lars Svennerholm (auth.), Robert Salvayre, Louis Douste-Blazy, Shimon Gatt (eds.)
Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings
  • PDF
  • English
  • Year: 2021
  • Author: David Pichardie (editor), Mihaela Sighireanu (editor)
search