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

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

Browsing the bibliography

Bibliographic Statistics

article(76), book(72), inproceedings(68), unpublished(49), techreport(48), incollection(24), phdthesis(17), proceedings(5), inbook(1)
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!