The Collection of
Computer Science Bibliographies
Bibliography on the mathematics of program construction
[ About | Browse | Statistics ]
Number of references: | 360 | Last update: | August 26, 1997 |
---|
Number of online publications: | 3 | Supported: | no |
---|
Most recent reference: | July 1993 |
| |
---|
- Editor:
- Paul Hoogendijk <paulh @ win . tue . nl> (email mangled to prevent spamming)
- Original source:
- Used to be available at
ftp://svin02.info.win.tue.nl/pub/math.prog.construction/bibliogr.bib
but has disappeared.
- Local copy in BibTeX format (22 KB, compressed with gzip)
- Types:
- article(76), book(72), inproceedings(68),
unpublished(49), techreport(48), incollection(24),
phdthesis(17), proceedings(5), inbook(1)
- Fields:
- title(360), author(354), year(336), publisher(148),
pages(133), booktitle(97), volume(87), journal(75),
editor(72), month(70), number(69), note(59),
institution(49), address(44), series(27), school(17),
edition(6), type(5), organisation(3), place(3), key(2),
optcrossref(1), optnote(1), optvolume(1), optyear(1),
organization(1), part(1)
- Distribution of publication dates:
-