The Collection of
Computer Science Bibliographies

Bibliography on software engineering and formal methods

Number of references:	529	Last update:	October 8, 2011
Number of online publications:	212	Supported:	yes
Most recent reference:	July 2011

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(298), article(154), techreport(17), book(13), phdthesis(12), misc(10), mastersthesis(7), manual(5), inbook(4), incollection(4), conference(2), unpublished(2), proceedings(1)
Fields:: title(529), year(529), author(528), booktitle(296), pages(272), publisher(227), address(205), month(166), volume(163), journal(137), number(127), url(82), abstract(79), editor(59), note(42), series(33), keywords(29), isbn(24), type(20), location(19), organization(19), school(19), editors(16), institution(16), language(13), proceedings(8), abstract-url(7), doi(7), doi-url(7), format(7), issn(7), oai(7), subject(7), owner(6), relation(6), chapter(5), ee(5), pdf(5), timestamp(5), day(4), key(4), bibdate(3), crossref(3), edition(3), inproceedings(3), issue(3), keyword(3), abstrac(2), affiliation(2), coden(2), crclassification(2), crgenterms(2), descriptor(2), howpublished(2), identifier(2), notes(2), page(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), postscript(1), source(1), subproject(1)
Distribution of publication dates: