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.