The Collection of
Computer Science Bibliographies
A bibliography of introductory material for formal methods
[ About | Browse | Statistics ]
| Number of references: | 64 | Last update: | February 23, 2001 |
|---|
| Number of online publications: | 24 | Supported: | Unknown |
|---|
| Most recent reference: | March 1998 |
| |
|---|
- Author:
- Peter Gorm Larsen <peter @ ifad . dk> (email mangled to prevent spamming)
The Institute of Applied Computer Science (IFAD)
Forskerparken 10
DK-5230 Odense M
Denmark
- Keywords:
-
introduction to formal methods
- Types:
- article(27), inproceedings(15), techreport(10),
proceedings(6), book(5), inbook(1)
- Fields:
- key(64), title(64), year(64), comment(60), author(56),
month(54), pages(37), number(29), journal(27),
volume(27), size(26), publisher(22), editor(18),
address(16), booktitle(15), note(12), institution(8),
url(8), organization(7), isbn(3), chapter(1)
- Distribution of publication dates:
-
