The Collection of
Computer Science Bibliographies

Bibliography of the Publications of the Software Engineering Group Freiburg

Number of references:	87	Last update:	October 3, 2003
Number of online publications:	55	Supported:	yes
Most recent reference:	September 2003

Author:: Achim D. Brucker <brucker @ informatik . uni-freiburg . de> (email mangled to prevent spamming)
Copyright:: Chair for Software Engineering, Albert-Ludwigs-Universität Freiburg
Abstract:: The Bibliography contains all publications of the Sofware Engineering Group Freiburg. The research of the group is focused to the development of methods for the specification and verification of computer systems. Particular emphasis is put on Formal Methods based on mathematical modelling and formal logic.
Keywords:: Formal Methods, Software Engineering,

Original source:

http://wailoa.informatik.uni-freiburg.de... (Format: bibtex, compressed with gzip)
Other sites:

http://wailoa.informatik.uni-freiburg.de... (search) (Format: html)

Types:: inproceedings(35), article(23), incollection(17), techreport(5), book(2), mastersthesis(2), phdthesis(2), proceedings(1)
Fields:: year(87), title(86), author(84), language(78), abstract(75), pages(64), ps(63), booktitle(53), pdf(49), publisher(48), number(41), editor(40), volume(37), month(36), series(36), address(32), journal(23), copyright(14), copyrighturl(12), isbn(12), note(8), file(7), keywords(7), project(7), filelabel(5), institution(5), num_pages(5), url(5), organization(4), paddress(4), school(4), issn(3), cover(2), type(2), chapter(1), contributions(1), issue(1)
Distribution of publication dates: