Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /
Published: (2004)

Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings /
Published: (2005)

Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /
Published: (2005)

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday /
Published: (2003)

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /
Published: (2005)

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /
Published: (2005)

Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday /
Published: (2005)

Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings /
Published: (2004)

Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers /
Published: (2004)

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings /
Published: (2005)

Isabelle : a generic theorem prover /
by: Paulson, Lawrence C.
Published: (1994)

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /
Published: (1995)

Verifying temporal properties of systems /
by: Bradfield, J. C.
Published: (1992)

Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings /
Published: (1996)

Gems of theoretical computer science /
by: Schöning, Uwe, 1955-
Published: (1998)

Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers /
Published: (2005)

Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings /
Published: (2005)

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings /
Published: (1997)

Automated theorem proving : a logical basis /
by: Loveland, Donald W.
Published: (1978)

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /
Published: (1980)

Instantiation theory : on the foundations of automated deduction /
by: Williams, James G.
Published: (1991)

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /
Published: (2001)

Verifying temporal properties of systems /
by: Bradfield, Julian Charles, 1964-
Published: (1992)

Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings /
Published: (1994)

Fundamentals of computation theory : 15th international symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005 : proceedings /
Published: (2005)

Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
Published: (2001)

Automated theorem proving /
by: Bibel, W., 1938-
Published: (1987)

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings /
Published: (2006)

Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings /
Published: (1994)

SIAM journal on numerical analysis.

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers /
Published: (2006)

Lectures on proof verification and approximation algorithms /
Published: (1998)

Mathematics of computation.

EDA for IC system design, verification, and testing /
Published: (2006)

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings /
Published: (1996)

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers /
Published: (2002)