The Collection of
Computer Science Bibliographies

Bibliography of the Publications of the Software Engineering Group Freiburg

[   About   |  Browse   |   Statistics   ]

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

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

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,

Browsing the bibliography

Bibliographic Statistics

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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!