The Collection of
Computer Science Bibliographies

Bibliography on software engineering and formal methods

Number of references:	495	Last update:	January 27, 2010
Number of online publications:	193	Supported:	yes
Most recent reference:	June 2009

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

Types:: inproceedings(282), article(139), techreport(16), book(13), phdthesis(12), misc(9), mastersthesis(7), manual(5), inbook(4), incollection(4), unpublished(2), conference(1), proceedings(1)
Fields:: title(495), year(495), author(494), booktitle(279), pages(256), publisher(210), address(190), month(158), volume(147), journal(122), number(112), url(77), abstract(73), editor(57), note(42), series(32), keywords(25), isbn(22), location(19), organization(19), school(19), type(19), editors(16), institution(15), language(10), proceedings(8), abstract-url(7), format(7), issn(7), oai(7), subject(7), doi(6), doi-url(6), relation(6), chapter(5), ee(5), owner(5), pdf(5), day(4), key(4), timestamp(4), crossref(3), edition(3), inproceedings(3), keyword(3), abstrac(2), affiliation(2), bibdate(2), coden(2), crclassification(2), crgenterms(2), descriptor(2), howpublished(2), identifier(2), issue(2), notes(2), access(1), acknowledgement(1), annote(1), comment(1), conference(1), conferenceurl(1), copyright(1), description(1), dvi-url(1), email(1), interhash(1), intrahash(1), lang(1), lccn(1), page(1), postscript(1), source(1), subproject(1)
Distribution of publication dates: