The Collection of
Computer Science Bibliographies

Larch bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:98Last update:April 28, 2000
Number of online publications:0Supported:Unknown
Most recent reference:October 1996

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Stephen J. Garland <garland @ lcs . mit . edu> (email mangled to prevent spamming)
MIT Laboratory for Computer Science
545 Technology Square
Cambridge, MA 02139
methods, languages, and tools for the practical use of formal specifications

Browsing the bibliography

Bibliographic Statistics

inproceedings(51), techreport(16), article(11), book(5), phdthesis(4), unpublished(4), mastersthesis(3), incollection(2), manual(1), proceedings(1)
title(98), year(97), author(94), month(77), booktitle(53), publisher(40), note(37), address(33), editor(30), number(27), pages(25), institution(17), type(12), volume(12), journal(11), school(7), organization(5), series(2)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!