The Collection of
Computer Science Bibliographies

Bibliography on software engineering and formal methods

Number of references:	667	Last update:	April 20, 2013
Number of online publications:	221	Supported:	yes
Most recent reference:	2013

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(364), article(212), misc(21), techreport(17), book(16), phdthesis(12), mastersthesis(7), manual(5), inbook(4), incollection(4), conference(2), unpublished(2), proceedings(1)
Fields:: title(667), author(666), year(657), booktitle(362), pages(353), publisher(261), address(209), volume(196), journal(183), month(173), number(153), url(86), abstract(81), organization(69), editor(60), note(52), keywords(43), series(34), isbn(24), type(20), location(19), school(19), editors(16), institution(16), language(13), doi(11), doi-url(11), issn(10), proceedings(8), abstract-url(7), format(7), oai(7), subject(7), owner(6), relation(6), chapter(5), ee(5), pdf(5), timestamp(5), crossref(4), day(4), key(4), bibdate(3), edition(3), inproceedings(3), issue(3), keyword(3), page(3), abstrac(2), affiliation(2), coden(2), crclassification(2), crgenterms(2), descriptor(2), howpublished(2), identifier(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), place(1), postscript(1), source(1), subproject(1)
Distribution of publication dates: