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

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

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(51), techreport(16), article(11), book(5), phdthesis(4), unpublished(4), mastersthesis(3), incollection(2), manual(1), proceedings(1)
Fields:
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!