The Collection of
Computer Science Bibliographies

The FME and VDM Europe Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:316Last update:February 23, 2001
Number of online publications:0Supported:yes
Most recent reference:September 1997

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:
Peter Gorm Larsen <peter @ ifad . dk> (email mangled to prevent spamming)
IFAD
Forskerparken 10
DK-5230 Odense M
Denmark
Abstract:
References from the symposia organised by VDM Europe and Formal Methods Europe (FME)
Keywords:
Software Engineering, Formal Methods

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(278), incollection(13), misc(8), techreport(7), proceedings(5), book(3), article(2)
Fields:
key(316), title(316), year(316), author(307), booktitle(291), month(291), pages(286), publisher(280), editor(211), comment(209), size(112), organization(91), note(54), volume(39), series(38), isbn(35), annote(23), howpublished(8), institution(7), number(5), address(4), journal(2), gsize(1), url(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!