The Collection of
Computer Science Bibliographies

Bibliography on the mathematics of program construction

[   About   |  Browse   |   Statistics   ]

Number of references:360Last update:August 26, 1997
Number of online publications:3Supported:no
Most recent reference:July 1993

Information on the Bibliography

Editor:
Paul Hoogendijk <paulh @ win . tue . nl> (email mangled to prevent spamming)

Browsing the bibliography

Bibliographic Statistics

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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!