Jim Grundy <Jim . Grundy @ anu . edu . au> (email mangled to prevent spamming)
Department of Computer Science The Australian National University Canberra ACT 0200 AUSTRALIA
Abstract:
This is a bibliography of publications of Jim Grundy. The companion LaTeX file grundy-jim.ltx can be used to typeset this bibliography.
Keywords:
BibTeX, bibliography, formal methods, logic
Author Comments:
At version 1.11, the year coverage looked like this: 1991 ( 4) 1994 ( 0) 1997 ( 2) 1992 ( 1) 1995 ( 0) 1998 ( 2) 1993 ( 3) 1996 ( 9) Article: 2 InCollection: 2 InProceedings: 7 PhdThesis: 1 Proceedings: 4 TechReport: 5 Total entries: 21 This file is available as part of the BibNet Project. The master copy is available for public access on ftp.math.utah.edu in the directory tree /pub/bibnet/authors. It is mirrored to netlib.bell-labs.com in the directory tree /netlib/bibnet/authors, from which it is available via anonymous ftp and the Netlib service.
