The Collection of
Computer Science Bibliographies
The FME and VDM Europe Bibliography
[ About | Browse | Statistics ]
Number of references: | 316 | Last update: | February 23, 2001 |
---|
Number of online publications: | 37 | Supported: | yes |
---|
Most recent reference: | September 1997 |
| |
---|
- 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
- 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:
-