TEST
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

3 × Australia
8 × Austria
2 × Belgium
1 × Brazil
15 × Canada
2 × China
1 × Croatia
1 × Cyprus
3 × Czech Republic
7 × Denmark
2 × Estonia
2 × Finland
17 × France
16 × Germany
1 × Greece
4 × Hungary
2 × India
2 × Ireland
2 × Israel
17 × Italy
4 × Japan
1 × Korea
1 × Luxembourg
2 × Norway
4 × Poland
4 × Portugal
2 × Russia
5 × Spain
1 × Sweden
6 × Switzerland
4 × The Netherlands
1 × Turkey
81 × USA
22 × United Kingdom
1022 ×#logic
1021 ×#testing
738 ×#proving
718 ×#logic programming
707 ×#source code
674 ×#named
563 ×#verification
530 ×#using
475 ×#automation
456 ×#analysis

17 brands:

A-MOSTA-MOST
CADECADE
CAVCAV
CSLCSL
FATESFATES
FLoCFLoC
ICLPICLP
ICSTICST
ICTSSICTSS
IJCARIJCAR
ISSTAISSTA
LICSLICS
MBTMBT
SATSAT
SMTSMT
TAPTAP
VMCAIVMCAI

10780 papers in 297 issues:

2020
CSLProceedings of the 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
A-MOSTProceedings of the 16th Workshop on Advances in Model Based Testing (A-MOST 2020)
2019
CADEProceddings of the 27th International Conference on Automated Deduction (CADE 2019)
CAVProceedings of the 30st International Conference on Computer Aided Verification, Part I (CAV (1) 2019)
CAVProceedings of the 30st International Conference on Computer Aided Verification, Part II (CAV (2) 2019)
ICSTProceedings of the 12th International Conference on Software Testing, Verification and Validation (ICST 2019)
ICTSSProceedings of the 31st International Conference on Testing Software and Systems (ICTSS 2019)
TAPProceedings of the 13th International Conference on Tests and Proofs (TAP 2019)
VMCAIProceedings of the 20th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2019)
A-MOSTProceedings of the 15th Workshop on Advances in Model Based Testing (A-MOST 2019)
2018
CAVProceedings of the 30th International Conference on Computer Aided Verification, Part I (CAV (1) 2018)
CAVProceedings of the 30th International Conference on Computer Aided Verification, Part II (CAV (2) 2018)
CSLProceedings of the 27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
ICSTProceedings of the 11th International Conference on Software Testing, Verification and Validation (ICST 2018)
ICTSSProceedings of the 30th International Conference on Testing Software and Systems (ICTSS 2018)
IJCARProceedings of the Ninth International Joint Conference on Automated Reasoning (IJCAR 2018)
TAPProceedings of the 12th International Conference on Tests and Proofs (TAP 2018)
VMCAIProceedings of the 19th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2018)
2017
CADEProceedings of the 26th International Conference on Automated Deduction (CADE 2017)
CAVProceedings of the 29th International Conference on Computer Aided Verification, Part I (CAV (1) 2017)
CAVProceedings of the 28th International Conference on Computer Aided Verification, Part II (CAV (2) 2017)
CSLProceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
ICSTProceedings of the 10th International Conference on Software Testing, Verification and Validation (ICST 2017)
ICTSSProceedings of the 29th International Conference on Testing Software and Systems (ICTSS 2017)
TAPProceedings of the 11th International Conference on Tests and Proofs (TAP 2017)
VMCAIProceedings of the 18th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2017)
2016
CAVProceedings of the 28th International Conference on Computer Aided Verification, Part I (CAV (1) 2016)
CAVProceedings of the 28th International Conference on Computer Aided Verification, Part II (CAV (2) 2016)
CSLProceedings of the 25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
ICSTProceedings of the Ninth International Conference on Software Testing, Verification and Validation (ICST 2016)
ICTSSProceedings of the 28th International Conference on Testing Software and Systems (ICTSS 2016)
IJCARProceedings of the Eighth International Joint Conference on Automated Reasoning (IJCAR 2016)
TAPProceedings of the 10th International Conference on Tests and Proofs (TAP 2016)
VMCAIProceedings of the 17th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2016)
2015
CADEProceedings of the 25th International Conference on Automated Deduction (CADE 2015)
CAVProceedings of the 27th International Conference on Computer Aided Verification, Part I (CAV 2015)
CAVProceedings of the 27th International Conference on Computer Aided Verification, Part II (CAV 2015)
CSLProceedings of the 24th Annual Conference on Computer Science Logic (CSL 2015)
ICLPTechnical Communications of the 31st International Conference on Logic Programming (ICLP TC 2015)
ICLPSpecial Issue of the 31st International Conference on Logic Programming (ICLP 2015)
ICSTProceedings of the Eighth International Conference on Software Testing, Verification and Validation (ICST 2015)
ICTSSProceedings of the 27th International Conference on Testing Software and Systems (ICTSS 2015)
ISSTAProceedings of the 24th International Symposium on Software Testing and Analysis (ISSTA 2015)
LICSProceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)
SATProceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015)
TAPProceedings of the Ninth International Conference on Tests and Proofs (TAP 2015)
VMCAIProceedings of the 16th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2015)
2014
CAVProceedings of the 26th International Conference on Computer Aided Verification (CAV 2014)
ICLPSpecial Issue of the 30th International Conference on Logic Programming (ICLP 2014)
ICSTProceedings of the Seventh IEEE International Conference on Software Testing, Verification and Validation (ICST 2014)
ICTSSProceedings of the 26th International Conference on Testing Software and Systems (ICTSS 2014)
IJCARProceedings of the Seventh International Joint Conference on Automated Reasoning (IJCAR 2014)
ISSTAProceedings of the 23rd International Symposium on Software Testing and Analysis (ISSTA 2014)
LICSJoint 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)
SATProceedings 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)
SMTProceedings of the 12th International Workshop on Satisfiability Modulo Theories (SMT 2014)
TAPProceedings of the Eighth International Conference on Tests and Proofs (TAP 2014)
VMCAIProceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2014)
2013
CADEProceedings of the 24th International Conference on Automated Deduction (CADE 2013)
CAVProceedings of the 25th International Conference on Computer Aided Verification (CAV 2013)
CSLProceedings of the 22nd EACSL Annual Conference on Computer Science Logic (CSL 2013)
ICLPSpecial Issue of the 29th International Conference on Logic Programming (ICLP 2013)
ICSTProceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation (ICST 2013)
ICTSSProceedings of the 25th International Conference on Testing Software and Systems (ICTSS 2013)
ISSTAProceedings of the 22nd International Symposium on Software Testing and Analysis (ISSTA 2013)
LICSProceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013)
SATProceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
TAPProceedings of the Seventh International Conference on Tests and Proofs (TAP 2013)
VMCAIProceedings of the 14th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2013)
2012
CAVProceedings of the 24th International Conference on Computer Aided Verification (CAV 2012)
CSLProceedings of the 21st EACSL Annual Conference / 26th International Workshop on Computer Science Logic (CSL 2012)
ICLPTechnical Communications of the 28th International Conference on Logic Programming (ICLP 2012)
ICLPProceedings of the 28th International Conference on Logic Programming (ICLP 2012)
ICSTProceedings of the Fifth IEEE International Conference on Software Testing, Verification and Validation (ICST 2012)
ICTSSProceedings of the 24th International Conference on Testing Software and Systems (ICTSS 2012)
IJCARProceedings of the Sixth International Joint Conference on Automated Reasoning (IJCAR 2012)
ISSTAProceedings of the 21st International Symposium on Software Testing and Analysis (ISSTA 2012)
LICSProceedings of the 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)
SATProceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)
SMTProceedings of the 10th International Workshop on Satisfiability Modulo Theories (SMT 2012)
TAPProceedings of the Sixth International Conference on Tests and Proofs (TAP 2012)
VMCAIProceedings of the 13th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2012)
2011
CADEProceedings of the 23rd International Conference on Automated Deduction (CADE 2011)
CAVProceedings of the 23rd International Conference on Computer Aided Verification (CAV 2011)
CSLProceedings of the 20th EACSL Annual Conference / 25th International Workshop on Computer Science Logic (CSL 2011)
ICLPTechnical Communications of the 27th International Conference on Logic Programming (ICLP 2011)
ICLPProceedings of the 27th International Conference on Logic Programming (ICLP 2011)
ICSTProceedings of the Fourth IEEE International Conference on Software Testing, Verification and Validation (ICST 2011)
ICTSSProceedings of the 23th International Conference on Testing Software and Systems (ICTSS 2011)
ISSTAProceedings of the 20th International Symposium on Software Testing and Analysis (ISSTA 2011)
LICSProceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)
SATProceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011)
TAPProceedings of the Fifth International Conference on Tests and Proofs (TAP 2011)
VMCAIProceedings of the 12th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2011)
2010
CAVProceedings of the 22nd International Conference on Computer Aided Verification (CAV 2010)
CSLProceedings of the 19th EACSL Annual Conference / 24th International Workshop on Computer Science Logic (CSL 2010)
ICLPTechnical Communications of the 26th International Conference on Logic Programming (ICLP 2010)
ICLPProceedings of the 26th International Conference on Logic Programming (ICLP 2010)
ICSTProceedings of the Third International Conference on Software Testing, Verification and Validation (ICST 2010)
ICTSSProceedings of the 22nd International Conference on Testing Software and Systems (ICTSS 2010)
IJCARProceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR 2010)
ISSTAProceedings of the 19th International Symposium on Software Testing and Analysis (ISSTA 2010)
LICSProceedings of the 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)
SATProceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010)
TAPProceedings of the Fourth International Conference on Tests and Proofs (TAP 2010)
VMCAIProceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2010)
2009
CADEProceedings of the 22nd International Conference on Automated Deduction (CADE 2009)
CAVProceedings of the 21st International Conference on Computer Aided Verification (CAV 2009)
CSLProceedings of the 18th EACSL Annual Conference / 23rd International Workshop on Computer Science Logic (CSL 2009)
ICLPProceedings of the 25th International Conference on Logic Programming (ICLP 2009)
ICSTProceedings of the Second International Conference on Software Testing Verification and Validation (ICST 2009)
ISSTAProceedings of the 18th International Symposium on Software Testing and Analysis (ISSTA 2009)
LICSProceedings of the 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009)
MBTProceedings of the Fifth Workshop on Model Based Testing (MBT 2009)
SATProceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009)
TAPProceedings of the Third International Conference on Tests and Proofs (TAP 2009)
FATESProceedings 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)
VMCAIProceedings of the 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2009)
2008
CAVProceedings of the 20th International Conference on Computer Aided Verification (CAV 2008)
CSLProceedings of the 17th EACSL Annual Conference / 22nd International Workshop on Computer Science Logic (CSL 2008)
ICLPProceedings of the 24th International Conference on Logic Programming (ICLP 2008)
ICSTProceedings of the First International Conference on Software Testing, Verification and Validation (ICST 2008)
IJCARProceedings of the Fourth International Joint Conference on Automated Reasoning (IJCAR 2008)
ISSTAProceedings of the 17th International Symposium on Software Testing and Analysis (ISSTA 2008)
LICSProceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)
MBTProceedings of the Fourth Workshop on Model Based Testing (MBT 2008)
SATProceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing (SAT 2008)
TAPProceedings of the Second International Conference on Tests and Proofs (TAP 2008)
FATESProceedings 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)
VMCAIProceedings of the Ninth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2008)
2007
A-MOSTProceedings of the Third Workshop on Advances in Model Based Testing (A-MOST 2007)
CADEProceedings of the 21st International Conference on Automated Deduction (CADE 2007)
CAVProceedings of the 19th International Conference on Computer Aided Verification (CAV 2007)
CSLProceedings of the 16th EACSL Annual Conference / 21st International Workshop on Computer Science Logic (CSL 2007)
ICLPProceedings of the 23rd International Conference on Logic Programming (ICLP 2007)
ISSTAProceedings of the 16th International Symposium on Software Testing and Analysis (ISSTA 2007)
LICSProceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007)
MBTProceedings of the Third Workshop on Model Based Testing (MBT 2007)
SATProceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)
SMTProceedings of the Fifth International Workshop on Satisfiability Modulo Theories (SMT 2007)
TAPRevised Papers of the First International Conference on Tests and Proofs (TAP 2007)
FATESProceedings 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)
VMCAIProceedings of the Eighth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007)
2006
CAVProceedings of the 18th International Conference on Computer Aided Verification (CAV 2006)
CSLProceedings of the 15th EACSL Annual Conference / 20th International Workshop on Computer Science Logic (CSL 2006)
FATESRevised Selected Papers of the Sixth International Workshop on Formal Approaches to Testing of Software and International Workshop on Runtime Verification (FATES/RV 2006)
ICLPProceedings of the 22nd International Conference on Logic Programming (ICLP 2006)
IJCARProceedings of the Third International Joint Conference on Automated Reasoning (IJCAR 2006)
ISSTAProceedings of the 15th International Symposium on Software Testing and Analysis (ISSTA 2006)
LICSProceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006)
MBTProceedings of the Second Workshop on Model Based Testing (MBT 2006)
SATProceedings of the Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT 2006)
SMTSpecial Issue on Satisfiability Modulo Theories (SMT 2006)
ICTSSProceedings of the 18th International Conference on Testing of Communicating Systems (TestCom 2006)
VMCAIProceedings of the Seventh International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2006)
2005
A-MOSTProceedings of the First Workshop on Advances in Model-Based Software Testing (A-MOST 2005)
A-MOSTSpecial Issue of the First Workshop on Advances in Model-Based Software Testing (A-MOST 2005)
CADEProceedings of the 20th International Conference on Automated Deduction (CADE 2005)
CAVProceedings of the 17th International Conference on Computer Aided Verification (CAV 2005)
CSLProceedings of the 14th EACSL Annual Conference / 19th International Workshop on Computer Science Logic (CSL 2005)
FATESRevised Selected Papers of the Fifth International Workshop on Formal Approaches to Testing of Software (FATES 2005)
ICLPProceedings of the 21st International Conference on Logic Programming (ICLP 2005)
LICSProceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005)
SATProceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT 2005)
ICTSSProceedings of the 17th International Conference on Testing of Communicating Systems (TestCom 2005)
VMCAIProceedings of the Sixth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2005)
2004
CAVProceedings of the 16th International Conference on Computer Aided Verification (CAV 2004)
CSLProceedings of the 13th EACSL Annual Conference / 18th International Workshop on Computer Science Logic (CSL 2004)
FATESRevised Selected Papers of the Fourth International Workshop on Formal Approaches to Testing of Software and International Workshop on Runtime Verification (FATES 2004)
ICLPProceedings of the 20th International Conference on Logic Programming (ICLP 2004)
IJCARProceedings of the Second International Joint Conference on Automated Reasoning (IJCAR 2004)
LICSProceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004)
SATProceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004)
SATRevised Selected Papers of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004)
ICTSSProceedings of the 16th International Conference on Testing of Communicating Systems (TestCom 2004)
VMCAIProceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2004)
2003
CADEProceedings of the 19th International Conference on Automated Deduction (CADE 2003)
CAVProceedings of the 15th International Conference on Computer Aided Verification (CAV 2003)
CSLProceedings of the 12th EACSL Annual Conference / 17th International Workshop on Computer Science Logic (CSL 2003)
FATESRevised Selected Papers of the Third International Workshop on Formal Approaches to Testing of Software and International Workshop on Runtime Verification (FATES 2003)
ICLPProceedings of the 19th International Conference on Logic Programming (ICLP 2003)
LICSProceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003)
SATSelected Revised Papers of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003)
ICTSSProceedings of the 15th International Conference on Testing of Communicating Systems (TestCom 2003)
VMCAIProceedings of the Fourth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2003)
2002
CADEProceedings of the 18th International Conference on Automated Deduction (CADE 2002)
CAVProceedings of the 14th International Conference on Computer Aided Verification (CAV 2002)
CSLProceedings of the 11th EACSL Annual Conference / 16th International Workshop on Computer Science Logic (CSL 2002)
ICLPProceedings of the 18th International Conference on Logic Programming (ICLP 2002)
ISSTAProceedings of the International Symposium on Software Testing and Analysis (ISSTA 2002)
LICSProceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002)
SATProceedings of the Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT 2002)
ICTSSProceedings of the 14th International Conference on Testing Communicating Systems: Applications to Internet Technologies and Services (TestCom 2002)
VMCAIProceedings of the Third International Workshop on Verification, Model Checking and Abstract Interpretation (VMCAI 2002)
2001
CAVProceedings of the 13th International Conference on Computer Aided Verification (CAV 2001)
CSLProceedings of the 10th EACSL Annual Conference / 15th International Workshop on Computer Science Logic (CSL 2001)
ICLPProceedings of the 17th International Conference on Logic Programming (ICLP 2001)
IJCARProceedings of the First International Joint Conference on Automated Reasoning (IJCAR 2001)
LICSProceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS 2001)
SATProceedings of the Fourth Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)
2000
CADEProceedings of the 17th International Conference on Automated Deduction (CADE 2000)
CAVProceedings of the 12th International Conference on Computer Aided Verification (CAV 2000)
CLProceedings of the First International Conference on Computational Logic (CL 2000)
CSLProceedings of the 14th EACSL Annual Conference on Computer Science Logic (CSL 2000)
ISSTAProceedings of the International Symposium on Software Testing and Analysis (ISSTA 2000)
LICSProceedings of the 15th Annual IEEE Symposium on Logic in Computer Science (LICS 2000)
ICTSSProceedings of the 13th International Conference on Testing Communicating Systems: Applications to Internet Technologies and Services (TestCom 2000)
1999
CADEProceedings of the 16th International Conference on Automated Deduction (CADE 1999)
CAVProceedings of the 11th International Conference on Computer Aided Verification (CAV 1999)
CSLProceedings of the 13th International Workshop on Computer Science Logic / Eighth Annual Conference of the EACSL (CSL 1999)
ICLPProceedings of the 15th International Conference on Logic Programming (ICLP 1999)
ICTSSProceedings of the 12th International Workshop on Testing Communicating Systems (IWTCS 1999)
LICSProceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS 1999)
1998
CADEProceedings of the 15th International Conference on Automated Deduction (CADE 1998)
CAVProceedings of the 10th International Conference on Computer Aided Verification (CAV 1998)
CSLProceedings of the 12th International Workshop on Computer Science Logic / Annual Conference of the EACSL (CSL 1998)
ISSTAProceedings of International Symposium on Software Testing and Analysis (ISSTA 1998)
ICTSSProceedings of the 11th International Workshop on Testing Communicating Systems (IWTCS 1998)
ICLPProceedings of the Joint International 15th Conference and Symposium on Logic Programming (JICSLP 1998)
LICSProceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS 1998)
1997
CADEProceedings of the 14th International Conference on Automated Deduction (CADE 1997)
CAVProceedings of the Ninth International Conference on Computer Aided Verification (CAV 1997)
CSLSelected Papers of the 11th International Workshop on Computer Science Logic / Annual Conference of the EACSL (CSL 1997)
ICLPProceedings of the 14th International Conference on Logic Programming (ICLP 1997)
ICLPProceedings of the International Symposium on Logic Programming (ILPS 1997)
LICSProceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS 1997)
ICTSSProceedings of the 10th International Workshop on Testing Communicating Systems (IWTCS 1997)
1996
CADEProceedings of the 13th International Conference on Automated Deduction (CADE 1996)
CAVProceedings of the Eighth International Conference on Computer Aided Verification (CAV 1996)
CSLSelected Papers of the 10th International Workshop on Computer Science Logic / Annual Conference of the EACSL (CSL 1996)
ISSTAProceedings of the International Symposium on Software Testing and Analysis (ISSTA 1996)
ICLPProceedings of the Joint International 13th Conference and Symposium on Logic Programming (JICSLP 1996)
LICSProceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996)
ICTSSProceedings of the Ninth International Workshop on Protocol Test Systems (IWPTS 1996)
1995
CAVProceedings of the Seventh International Conference on Computer Aided Verification (CAV 1995)
ICLPProceedings of the 12th International Conference on Logic Programming (ICLP 1995)
ICLPProceedings of the International Symposium on Logic Programming (ILPS 1995)
LICSProceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (LICS 1995)
ICTSSProceedings of the Eighth International Workshop on Protocol Test Systems (IWPTS 1995)
1994
CADEProceedings of the 12th International Conference on Automated Deduction (CADE 1994)
CAVProceedings of the Sixth International Conference on Computer Aided Verification (CAV 1994)
ICLPProceedings of the 11th International Conference on Logic Programming (ICLP 1994)
ICLPProceedings of the International Symposium on Logic Programming (ILPS 1994)
ISSTAProceedings of the International Symposium on Software Testing and Analysis (ISSTA 1994)
LICSProceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS 1994)
ICTSSProceedings of the Seventh International Workshop on Protocol Test Systems (IWPTS 1994)
1993
CAVProceedings of the Fifth International Conference on Computer Aided Verification (CAV 1993)
CSLSelected Papers of the Seventh Workshop on Computer Science Logic (CSL 1993)
ICLPProceedings of the 10th International Conference on Logic Programming (ICLP 1993)
ICLPProceedings of the International Symposium on Logic Programming (ILPS 1993)
ISSTAProceedings of the International Symposium on Software Testing and Analysis (ISSTA 1993)
ICTSSProceedings of the Sixth International Workshop on Protocol Test Systems (IWPTS 1993)
1992
CADEProceedings of the 11th International Conference on Automated Deduction (CADE 1992)
CAVProceedings of the Fourth International Workshop on Computer Aided Verification (CAV 1992)
CSLProceedings of the Sixth Workshop on Computer Science Logic (CSL 1992)
ICTSSProceedings of the Fifth International Workshop on Protocol Test Systems (IWPTS 1992)
ICLPProceedings of the Joint International Ninth Conference and Symposium on Logic Programming (JICSLP 1992)
LICSProceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS 1992)
1991
CAVProceedings of the Third International Workshop on Computer Aided Verification (CAV 1991)
CSLProceedings of the Fifth Workshop on Computer Science Logic (CSL 1991)
ICLPProceedings of the Eighth International Conference on Logic Programming (ICLP 1991)
ICLPProceedings of the Eighth International Symposium on Logic Programming (ILPS 1991)
ICTSSProceedings of the Fourth International Workshop on Protocol Test Systems (IWPTS 1991)
LICSProceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS 1991)
ISSTAProceedings of the Symposium on Testing, Analysis, and Verification (ISSTA 1991)
1990
CADEProceedings of the 10th International Conference on Automated Deduction (CADE 1990)
CAVProceedings of the Second International Workshop on Computer Aided Verification (CAV 1990)
ICLPProceedings of the Seventh International Conference on Logic Programming (ICLP 1990)
CSLProceedings of the Fourth Workshop on Computer Science Logic (CSL 1990)
LICSProceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS 1990)
ICLPProceedings of the North American Conference on Logic Programming, 2 Volumes (NACLP 1990)
ICTSSProceedings of the Third International Workshop on Protocol Test Systems (IWPTS 1990)
1989
CSLProceedings of the Third Workshop on Computer Science Logic (CSL 1989)
LICSProceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS 1989)
ICLPProceedings of the North American Conference on Logic Programming, 2 Volumes (NACLP 1989)
ISSTAProceedings of the Third Symposium on Testing, Analysis, and Verification (ISSTA 1989)
ICTSSProceedings of the Second International Workshop on Protocol Test Systems (IWPTS 1989)
1988
CADEProceedings of the Ninth International Conference on Automated Deduction (CADE 1988)
CSLProceedings of the Second Workshop on Computer Science Logic (CSL 1988)
ICLPProceedings of the Joint International Fifth Conference and Symposium on Logic Programming, 2 Volumes (ICLP/SPL 1988)
LICSProceedings of the Third Annual Symposium on Logic in Computer Science (LICS 1988)
ICTSSProceedings of the First International Workshop on Protocol Test Systems (IWPTS 1988)
1987
CSLProceedings of the First Workshop on Computer Science Logic (CSL 1987)
ICLPProceedings of the Fourth International Conference on Logic Programming, 2 Volumes (ICLP 1987)
LICSProceedings of the Second Symposium on Logic in Computer Science (LICS 1987)
ICLPProceedings of the Fourth Symposium on Logic Programming (SLP 1987)
1986
CADEProceedings of the Eighth International Conference on Automated Deduction (CADE 1986)
ICLPProceedings of the Third International Conference on Logic Programming (ICLP 1986)
LICSProceedings of the First Symposium on Logic in Computer Science (LICS 1986)
ICLPProceedings of the Third Symposium on Logic Programming (SLP 1986)
1985
ICLPProceedings of the Second Symposium on Logic Programming (SLP 1985)
1984
CADEProceedings of the Seventh International Conference on Automated Deduction (CADE 1984)
ICLPProceedings of the Second International Logic Programming Conference (ILPC 1984)
ICLPProceedings of the First International Symposium on Logic Programming (SLP 1984)
1982
CADEProceedings of the Sixth International Conference on Automated Deduction (CADE 1982)
ICLPProceedings of the First International Logic Programming Conference (ILPC 1982)
1980
CADEProceedings of the Fifth International Conference on Automated Deduction (CADE 1980)

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.