Research projects in the
Bremen CoFI group
DFG project
MULTIPLE
(Multi-logic systems)
DFG project
HasCASL
(Algebraic Specification + Functional Programming = Environment for Formal Software Development)
Contact:
cofi@tzi.de