A bibliography of introductory material for formal methods

[   About   |  Browse   |   Statistics   ]

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

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

• Original source:

  ftp://ftp.ifad.dk... (Format: bibtex, compressed with gzip)

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(15), institution(8), url(8), organization(7), chapter(1)

Distribution of publication dates:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.