Bibliographic Databases

My Own BibTex Files

The followings are bibliography files maintained by Gary T. Leavens at Iowa State and myself. To use them with BibTeX, you may also need to download the file journal-abbrevs.bib

cheon.bib: [text] [html] (BibTeX citations for my papers)
testing.bib: [text] [html] (Program testing)
se.bib: [text] [html] (Software engineering)
languages.bib: [text] [html] (Programming languages)
datatypes.bib: [text] [html] (Data types and type theories)
all.bib: [text] [html] (All of above plus others combined)

Other Bibliographic Databases

Programming language bibliography page by Mark Leone.

Last modified: $Id: index.html,v 1.5 2008/06/20 18:49:41 cheon Exp $