The Collection of
Computer Science Bibliographies

A bibliography of introductory material for formal methods

[   About   |  Browse   |   Statistics   ]

Number of references:64Last update:February 23, 2001
Number of online publications:0Supported:Unknown
Most recent reference:March 1998

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)
The Institute of Applied Computer Science (IFAD)
Forskerparken 10
DK-5230 Odense M
Denmark
Keywords:
introduction to formal methods

Browsing the bibliography

Bibliographic Statistics

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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!