The Collection of
Computer Science Bibliographies

The RAISE Bibliography

[ About | Browse | Statistics ]

Number of references:	55	Last update:	February 23, 2001
Number of online publications:	1	Supported:	yes
Most recent reference:	March 1996

Information on the Bibliography

Author:: Peter Gorm Larsen <peter @ ifad . dk> (email mangled to prevent spamming)
IFAD
Forskerparken 10
DK-5230 Odense M
Denmark
Abstract:: References related to the formal method called RAISE
Keywords:: Software Engineering, Formal Methods

Browsing the bibliography

Original source:

ftp://ftp.ifad.dk... (Format: bibtex, compressed with gzip)

Bibliographic Statistics

Types:: inproceedings(24), techreport(12), misc(9), article(5), book(2), inbook(1), incollection(1), manual(1)
Fields:: key(55), title(55), year(55), author(54), comment(33), month(31), publisher(26), booktitle(25), size(25), number(13), pages(12), institution(11), note(8), howpublished(7), editor(6), volume(6), journal(5), series(5), annote(3), organization(3), type(3), address(2)
Distribution of publication dates: