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:no
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

Peter Gorm Larsen <peter @ ifad . dk> (email mangled to prevent spamming)
The Institute of Applied Computer Science (IFAD)
Forskerparken 10
DK-5230 Odense M
introduction to formal methods

Browsing the bibliography

Bibliographic Statistics

article(27), inproceedings(15), techreport(10), proceedings(6), book(5), inbook(1)
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!