Bibliography on software engineering and formal methods

[   About   |  Browse   |   Statistics   ]

Number of references:	298	Last update:	June 25, 2004
Number of online publications:	56	Supported:	yes
Most recent reference:	January 2004

Search the bibliography

Information on the Bibliography

Editor:

Alf-Christian Achilles <liinwwwa @ ira . uka . de> (email mangled to prevent spamming)
University of Karlsruhe
Germany

Abstract:

This is a collection of references submitted to the Computer Science Bibliography Collection.

Author Comments:

You can also submit references (e.g. to your own publications) to this bibliography.

Add References To This Bibliography

Browsing the bibliography

• Local copy in BibTeX format (45 KB, compressed with gzip)

Bibliographic Statistics

Types:

inproceedings(169), article(82), techreport(14), phdthesis(9), book(8), manual(4), mastersthesis(4), misc(4), incollection(3), unpublished(1)

Fields:

author(298), title(298), year(298), booktitle(165), pages(160), month(120), publisher(111), address(103), volume(85), number(73), journal(68), url(46), editor(45), abstract(44), note(33), keywords(21), organization(17), series(17), type(15), institution(14), school(13), location(11), isbn(9), proceedings(8), editors(7), issn(4), abstract-url(3), inproceedings(3), key(3), abstrac(2), crclassification(2), crgenterms(2), descriptor(2), howpublished(2), keyword(2), notes(2), pdf(2), acknowledgement(1), affiliation(1), annote(1), bibdate(1), chapter(1), coden(1), copyright(1), dvi-url(1), issue(1), language(1), lccn(1), page(1), postscript(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.