Software Testing, Proving, Verification, Validation, Reasoning (TEST)

17 brands:

A-MOST

CADE

CAV

CSL

FATES

FLoC

ICLP

ICST

ICTSS

IJCAR

ISSTA

LICS

MBT

SAT

SMT

TAP

VMCAI

10780 papers in 297 issues:

2020

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

Proceedings of the 16th Workshop on Advances in Model Based Testing (A-MOST 2020)

2019

Proceddings of the 27th International Conference on Automated Deduction (CADE 2019)

Proceedings of the 30st International Conference on Computer Aided Verification, Part I (CAV (1) 2019)

Proceedings of the 30st International Conference on Computer Aided Verification, Part II (CAV (2) 2019)

Proceedings of the 12th International Conference on Software Testing, Verification and Validation (ICST 2019)

Proceedings of the 31st International Conference on Testing Software and Systems (ICTSS 2019)

Proceedings of the 13th International Conference on Tests and Proofs (TAP 2019)

Proceedings of the 20th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2019)

Proceedings of the 15th Workshop on Advances in Model Based Testing (A-MOST 2019)

2018

Proceedings of the 30th International Conference on Computer Aided Verification, Part I (CAV (1) 2018)

Proceedings of the 30th International Conference on Computer Aided Verification, Part II (CAV (2) 2018)

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic (CSL 2018)

Proceedings of the 11th International Conference on Software Testing, Verification and Validation (ICST 2018)

Proceedings of the 30th International Conference on Testing Software and Systems (ICTSS 2018)

Proceedings of the Ninth International Joint Conference on Automated Reasoning (IJCAR 2018)

Proceedings of the 12th International Conference on Tests and Proofs (TAP 2018)

Proceedings of the 19th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2018)

2017

Proceedings of the 26th International Conference on Automated Deduction (CADE 2017)

Proceedings of the 29th International Conference on Computer Aided Verification, Part I (CAV (1) 2017)

Proceedings of the 28th International Conference on Computer Aided Verification, Part II (CAV (2) 2017)

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)

Proceedings of the 10th International Conference on Software Testing, Verification and Validation (ICST 2017)

Proceedings of the 29th International Conference on Testing Software and Systems (ICTSS 2017)

Proceedings of the 11th International Conference on Tests and Proofs (TAP 2017)

Proceedings of the 18th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2017)

2016

Proceedings of the 28th International Conference on Computer Aided Verification, Part I (CAV (1) 2016)

Proceedings of the 28th International Conference on Computer Aided Verification, Part II (CAV (2) 2016)

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic (CSL 2016)

Proceedings of the Ninth International Conference on Software Testing, Verification and Validation (ICST 2016)

Proceedings of the 28th International Conference on Testing Software and Systems (ICTSS 2016)

Proceedings of the Eighth International Joint Conference on Automated Reasoning (IJCAR 2016)

Proceedings of the 10th International Conference on Tests and Proofs (TAP 2016)

Proceedings of the 17th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2016)

2015

Proceedings of the 25th International Conference on Automated Deduction (CADE 2015)

Proceedings of the 27th International Conference on Computer Aided Verification, Part I (CAV 2015)

Proceedings of the 27th International Conference on Computer Aided Verification, Part II (CAV 2015)

Proceedings of the 24th Annual Conference on Computer Science Logic (CSL 2015)

Technical Communications of the 31st International Conference on Logic Programming (ICLP TC 2015)

Special Issue of the 31st International Conference on Logic Programming (ICLP 2015)

Proceedings of the Eighth International Conference on Software Testing, Verification and Validation (ICST 2015)

Proceedings of the 27th International Conference on Testing Software and Systems (ICTSS 2015)

Proceedings of the 24th International Symposium on Software Testing and Analysis (ISSTA 2015)

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)

Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015)

Proceedings of the Ninth International Conference on Tests and Proofs (TAP 2015)

Proceedings of the 16th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2015)

2014

Proceedings of the 26th International Conference on Computer Aided Verification (CAV 2014)

Special Issue of the 30th International Conference on Logic Programming (ICLP 2014)

Proceedings of the Seventh IEEE International Conference on Software Testing, Verification and Validation (ICST 2014)

Proceedings of the 26th International Conference on Testing Software and Systems (ICTSS 2014)

Proceedings of the Seventh International Joint Conference on Automated Reasoning (IJCAR 2014)

Proceedings of the 23rd International Symposium on Software Testing and Analysis (ISSTA 2014)

Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS 2014)

Proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, Held as Part of the Vienna Summer of Logic (VSL 2014) (SAT 2014)

Proceedings of the 12th International Workshop on Satisfiability Modulo Theories (SMT 2014)

Proceedings of the Eighth International Conference on Tests and Proofs (TAP 2014)

Proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2014)

2013

Proceedings of the 24th International Conference on Automated Deduction (CADE 2013)

Proceedings of the 25th International Conference on Computer Aided Verification (CAV 2013)

Proceedings of the 22nd EACSL Annual Conference on Computer Science Logic (CSL 2013)

Special Issue of the 29th International Conference on Logic Programming (ICLP 2013)

Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation (ICST 2013)

Proceedings of the 25th International Conference on Testing Software and Systems (ICTSS 2013)

Proceedings of the 22nd International Symposium on Software Testing and Analysis (ISSTA 2013)

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013)

Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)

Proceedings of the Seventh International Conference on Tests and Proofs (TAP 2013)

Proceedings of the 14th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2013)

2012

Proceedings of the 24th International Conference on Computer Aided Verification (CAV 2012)

Proceedings of the 21st EACSL Annual Conference / 26th International Workshop on Computer Science Logic (CSL 2012)

Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012)

Proceedings of the 28th International Conference on Logic Programming (ICLP 2012)

Proceedings of the Fifth IEEE International Conference on Software Testing, Verification and Validation (ICST 2012)

Proceedings of the 24th International Conference on Testing Software and Systems (ICTSS 2012)

Proceedings of the Sixth International Joint Conference on Automated Reasoning (IJCAR 2012)

Proceedings of the 21st International Symposium on Software Testing and Analysis (ISSTA 2012)

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)

Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories (SMT 2012)

Proceedings of the Sixth International Conference on Tests and Proofs (TAP 2012)

Proceedings of the 13th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2012)

2011

Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011)

Proceedings of the 23rd International Conference on Computer Aided Verification (CAV 2011)

Proceedings of the 20th EACSL Annual Conference / 25th International Workshop on Computer Science Logic (CSL 2011)

Technical Communications of the 27th International Conference on Logic Programming (ICLP 2011)

Proceedings of the 27th International Conference on Logic Programming (ICLP 2011)

Proceedings of the Fourth IEEE International Conference on Software Testing, Verification and Validation (ICST 2011)

Proceedings of the 23th International Conference on Testing Software and Systems (ICTSS 2011)

Proceedings of the 20th International Symposium on Software Testing and Analysis (ISSTA 2011)

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)

Proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011)

Proceedings of the Fifth International Conference on Tests and Proofs (TAP 2011)

Proceedings of the 12th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2011)

2010

Proceedings of the 22nd International Conference on Computer Aided Verification (CAV 2010)

Proceedings of the 19th EACSL Annual Conference / 24th International Workshop on Computer Science Logic (CSL 2010)

Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)

Proceedings of the 26th International Conference on Logic Programming (ICLP 2010)

Proceedings of the Third International Conference on Software Testing, Verification and Validation (ICST 2010)

Proceedings of the 22nd International Conference on Testing Software and Systems (ICTSS 2010)

Proceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR 2010)

Proceedings of the 19th International Symposium on Software Testing and Analysis (ISSTA 2010)

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)

Proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010)

Proceedings of the Fourth International Conference on Tests and Proofs (TAP 2010)

Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2010)

2009

Proceedings of the 22nd International Conference on Automated Deduction (CADE 2009)

Proceedings of the 21st International Conference on Computer Aided Verification (CAV 2009)

Proceedings of the 18th EACSL Annual Conference / 23rd International Workshop on Computer Science Logic (CSL 2009)

Proceedings of the 25th International Conference on Logic Programming (ICLP 2009)

Proceedings of the Second International Conference on Software Testing Verification and Validation (ICST 2009)

Proceedings of the 18th International Symposium on Software Testing and Analysis (ISSTA 2009)

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009)

Proceedings of the Fifth Workshop on Model Based Testing (MBT 2009)

Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009)

Proceedings of the Third International Conference on Tests and Proofs (TAP 2009)

Proceedings of the 21st International Conference on Testing Software and Communicating Systems and Ninth International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2009)

Proceedings of the 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2009)

2008

Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008)

Proceedings of the 17th EACSL Annual Conference / 22nd International Workshop on Computer Science Logic (CSL 2008)

Proceedings of the 24th International Conference on Logic Programming (ICLP 2008)

Proceedings of the First International Conference on Software Testing, Verification and Validation (ICST 2008)

Proceedings of the Fourth International Joint Conference on Automated Reasoning (IJCAR 2008)

Proceedings of the 17th International Symposium on Software Testing and Analysis (ISSTA 2008)

Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)

Proceedings of the Fourth Workshop on Model Based Testing (MBT 2008)

Proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing (SAT 2008)

Proceedings of the Second International Conference on Tests and Proofs (TAP 2008)

Proceedings of the 20th International Conference on Testing Software and Communicating Systems and Eighth International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2008)

Proceedings of the Ninth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2008)

2007

Proceedings of the Third Workshop on Advances in Model Based Testing (A-MOST 2007)

Proceedings of the 21st International Conference on Automated Deduction (CADE 2007)

Proceedings of the 19th International Conference on Computer Aided Verification (CAV 2007)

Proceedings of the 16th EACSL Annual Conference / 21st International Workshop on Computer Science Logic (CSL 2007)

Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007)

Proceedings of the 16th International Symposium on Software Testing and Analysis (ISSTA 2007)

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007)

Proceedings of the Third Workshop on Model Based Testing (MBT 2007)

Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)

Proceedings of the Fifth International Workshop on Satisfiability Modulo Theories (SMT 2007)

Revised Papers of the First International Conference on Tests and Proofs (TAP 2007)

Proceedings of the 19th International Conference on Testing Software and Communicating Systems and Seventh International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2007)

Proceedings of the Eighth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007)

2006

Proceedings of the 18th International Conference on Computer Aided Verification (CAV 2006)

Proceedings of the 15th EACSL Annual Conference / 20th International Workshop on Computer Science Logic (CSL 2006)

Revised Selected Papers of the Sixth International Workshop on Formal Approaches to Testing of Software and International Workshop on Runtime Verification (FATES/RV 2006)

Proceedings of the 22nd International Conference on Logic Programming (ICLP 2006)

Proceedings of the Third International Joint Conference on Automated Reasoning (IJCAR 2006)

Proceedings of the 15th International Symposium on Software Testing and Analysis (ISSTA 2006)

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006)

Proceedings of the Second Workshop on Model Based Testing (MBT 2006)

Proceedings of the Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT 2006)

Special Issue on Satisfiability Modulo Theories (SMT 2006)

Proceedings of the 18th International Conference on Testing of Communicating Systems (TestCom 2006)

Proceedings of the Seventh International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2006)

2005

Proceedings of the First Workshop on Advances in Model-Based Software Testing (A-MOST 2005)

Special Issue of the First Workshop on Advances in Model-Based Software Testing (A-MOST 2005)

Proceedings of the 20th International Conference on Automated Deduction (CADE 2005)

Proceedings of the 17th International Conference on Computer Aided Verification (CAV 2005)

Proceedings of the 14th EACSL Annual Conference / 19th International Workshop on Computer Science Logic (CSL 2005)

Revised Selected Papers of the Fifth International Workshop on Formal Approaches to Testing of Software (FATES 2005)

Proceedings of the 21st International Conference on Logic Programming (ICLP 2005)

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005)

Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT 2005)

Proceedings of the 17th International Conference on Testing of Communicating Systems (TestCom 2005)

Proceedings of the Sixth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2005)

2004

Proceedings of the 16th International Conference on Computer Aided Verification (CAV 2004)

Proceedings of the 13th EACSL Annual Conference / 18th International Workshop on Computer Science Logic (CSL 2004)

Revised Selected Papers of the Fourth International Workshop on Formal Approaches to Testing of Software and International Workshop on Runtime Verification (FATES 2004)

Proceedings of the 20th International Conference on Logic Programming (ICLP 2004)

Proceedings of the Second International Joint Conference on Automated Reasoning (IJCAR 2004)

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004)

Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004)

Revised Selected Papers of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004)

Proceedings of the 16th International Conference on Testing of Communicating Systems (TestCom 2004)

Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2004)

2003

Proceedings of the 19th International Conference on Automated Deduction (CADE 2003)

Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003)

Proceedings of the 12th EACSL Annual Conference / 17th International Workshop on Computer Science Logic (CSL 2003)

Revised Selected Papers of the Third International Workshop on Formal Approaches to Testing of Software and International Workshop on Runtime Verification (FATES 2003)

Proceedings of the 19th International Conference on Logic Programming (ICLP 2003)

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003)

Selected Revised Papers of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003)

Proceedings of the 15th International Conference on Testing of Communicating Systems (TestCom 2003)

Proceedings of the Fourth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2003)

2002

Proceedings of the 18th International Conference on Automated Deduction (CADE 2002)

Proceedings of the 14th International Conference on Computer Aided Verification (CAV 2002)

Proceedings of the 11th EACSL Annual Conference / 16th International Workshop on Computer Science Logic (CSL 2002)

Proceedings of the 18th International Conference on Logic Programming (ICLP 2002)

Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2002)

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002)

Proceedings of the Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT 2002)

Proceedings of the 14th International Conference on Testing Communicating Systems: Applications to Internet Technologies and Services (TestCom 2002)

Proceedings of the Third International Workshop on Verification, Model Checking and Abstract Interpretation (VMCAI 2002)

2001

Proceedings of the 13th International Conference on Computer Aided Verification (CAV 2001)

Proceedings of the 10th EACSL Annual Conference / 15th International Workshop on Computer Science Logic (CSL 2001)

Proceedings of the 17th International Conference on Logic Programming (ICLP 2001)

Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR 2001)

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS 2001)

Proceedings of the Fourth Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)

2000

Proceedings of the 17th International Conference on Automated Deduction (CADE 2000)

Proceedings of the 12th International Conference on Computer Aided Verification (CAV 2000)

Proceedings of the First International Conference on Computational Logic (CL 2000)

Proceedings of the 14th EACSL Annual Conference on Computer Science Logic (CSL 2000)

Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2000)

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science (LICS 2000)

Proceedings of the 13th International Conference on Testing Communicating Systems: Applications to Internet Technologies and Services (TestCom 2000)

1999

Proceedings of the 16th International Conference on Automated Deduction (CADE 1999)

Proceedings of the 11th International Conference on Computer Aided Verification (CAV 1999)

Proceedings of the 13th International Workshop on Computer Science Logic / Eighth Annual Conference of the EACSL (CSL 1999)

Proceedings of the 15th International Conference on Logic Programming (ICLP 1999)

Proceedings of the 12th International Workshop on Testing Communicating Systems (IWTCS 1999)

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS 1999)

1998

Proceedings of the 15th International Conference on Automated Deduction (CADE 1998)

Proceedings of the 10th International Conference on Computer Aided Verification (CAV 1998)

Proceedings of the 12th International Workshop on Computer Science Logic / Annual Conference of the EACSL (CSL 1998)

Proceedings of International Symposium on Software Testing and Analysis (ISSTA 1998)

Proceedings of the 11th International Workshop on Testing Communicating Systems (IWTCS 1998)

Proceedings of the Joint International 15th Conference and Symposium on Logic Programming (JICSLP 1998)

Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS 1998)

1997

Proceedings of the 14th International Conference on Automated Deduction (CADE 1997)

Proceedings of the Ninth International Conference on Computer Aided Verification (CAV 1997)

Selected Papers of the 11th International Workshop on Computer Science Logic / Annual Conference of the EACSL (CSL 1997)

Proceedings of the 14th International Conference on Logic Programming (ICLP 1997)

Proceedings of the International Symposium on Logic Programming (ILPS 1997)

Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS 1997)

Proceedings of the 10th International Workshop on Testing Communicating Systems (IWTCS 1997)

1996

Proceedings of the 13th International Conference on Automated Deduction (CADE 1996)

Proceedings of the Eighth International Conference on Computer Aided Verification (CAV 1996)

Selected Papers of the 10th International Workshop on Computer Science Logic / Annual Conference of the EACSL (CSL 1996)

Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 1996)

Proceedings of the Joint International 13th Conference and Symposium on Logic Programming (JICSLP 1996)

Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996)

Proceedings of the Ninth International Workshop on Protocol Test Systems (IWPTS 1996)

1995

Proceedings of the Seventh International Conference on Computer Aided Verification (CAV 1995)

Proceedings of the 12th International Conference on Logic Programming (ICLP 1995)

Proceedings of the International Symposium on Logic Programming (ILPS 1995)

Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (LICS 1995)

Proceedings of the Eighth International Workshop on Protocol Test Systems (IWPTS 1995)

1994

Proceedings of the 12th International Conference on Automated Deduction (CADE 1994)

Proceedings of the Sixth International Conference on Computer Aided Verification (CAV 1994)

Proceedings of the 11th International Conference on Logic Programming (ICLP 1994)

Proceedings of the International Symposium on Logic Programming (ILPS 1994)

Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 1994)

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS 1994)

Proceedings of the Seventh International Workshop on Protocol Test Systems (IWPTS 1994)

1993

Proceedings of the Fifth International Conference on Computer Aided Verification (CAV 1993)

Selected Papers of the Seventh Workshop on Computer Science Logic (CSL 1993)

Proceedings of the 10th International Conference on Logic Programming (ICLP 1993)

Proceedings of the International Symposium on Logic Programming (ILPS 1993)

Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 1993)

Proceedings of the Sixth International Workshop on Protocol Test Systems (IWPTS 1993)

1992

Proceedings of the 11th International Conference on Automated Deduction (CADE 1992)

Proceedings of the Fourth International Workshop on Computer Aided Verification (CAV 1992)

Proceedings of the Sixth Workshop on Computer Science Logic (CSL 1992)

Proceedings of the Fifth International Workshop on Protocol Test Systems (IWPTS 1992)

Proceedings of the Joint International Ninth Conference and Symposium on Logic Programming (JICSLP 1992)

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS 1992)

1991

Proceedings of the Third International Workshop on Computer Aided Verification (CAV 1991)

Proceedings of the Fifth Workshop on Computer Science Logic (CSL 1991)

Proceedings of the Eighth International Conference on Logic Programming (ICLP 1991)

Proceedings of the Eighth International Symposium on Logic Programming (ILPS 1991)

Proceedings of the Fourth International Workshop on Protocol Test Systems (IWPTS 1991)

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS 1991)

Proceedings of the Symposium on Testing, Analysis, and Verification (ISSTA 1991)

1990

Proceedings of the 10th International Conference on Automated Deduction (CADE 1990)

Proceedings of the Second International Workshop on Computer Aided Verification (CAV 1990)

Proceedings of the Seventh International Conference on Logic Programming (ICLP 1990)

Proceedings of the Fourth Workshop on Computer Science Logic (CSL 1990)

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS 1990)

Proceedings of the North American Conference on Logic Programming, 2 Volumes (NACLP 1990)

Proceedings of the Third International Workshop on Protocol Test Systems (IWPTS 1990)

1989

Proceedings of the Third Workshop on Computer Science Logic (CSL 1989)

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS 1989)

Proceedings of the North American Conference on Logic Programming, 2 Volumes (NACLP 1989)

Proceedings of the Third Symposium on Testing, Analysis, and Verification (ISSTA 1989)

Proceedings of the Second International Workshop on Protocol Test Systems (IWPTS 1989)

1988

Proceedings of the Ninth International Conference on Automated Deduction (CADE 1988)

Proceedings of the Second Workshop on Computer Science Logic (CSL 1988)

Proceedings of the Joint International Fifth Conference and Symposium on Logic Programming, 2 Volumes (ICLP/SPL 1988)

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS 1988)

Proceedings of the First International Workshop on Protocol Test Systems (IWPTS 1988)

1987

Proceedings of the First Workshop on Computer Science Logic (CSL 1987)

Proceedings of the Fourth International Conference on Logic Programming, 2 Volumes (ICLP 1987)

Proceedings of the Second Symposium on Logic in Computer Science (LICS 1987)

Proceedings of the Fourth Symposium on Logic Programming (SLP 1987)

1986

Proceedings of the Eighth International Conference on Automated Deduction (CADE 1986)

Proceedings of the Third International Conference on Logic Programming (ICLP 1986)

Proceedings of the First Symposium on Logic in Computer Science (LICS 1986)

Proceedings of the Third Symposium on Logic Programming (SLP 1986)

1985

Proceedings of the Second Symposium on Logic Programming (SLP 1985)

1984

Proceedings of the Seventh International Conference on Automated Deduction (CADE 1984)

Proceedings of the Second International Logic Programming Conference (ILPC 1984)

Proceedings of the First International Symposium on Logic Programming (SLP 1984)

1982

Proceedings of the Sixth International Conference on Automated Deduction (CADE 1982)

Proceedings of the First International Logic Programming Conference (ILPC 1982)

1980

Proceedings of the Fifth International Conference on Automated Deduction (CADE 1980)