| Publications |
Publications of project 'Formal Description Techniques' (C1, SFB501).
Most of the technical reports of our research group are published in one of the following report series:
| Series | Topics |
|---|---|
| SEKI | Artificial Intelligence, Automated Deduction |
| ZCA | Computer Algebra |
| SFB-501 | Software Engineering, Formal Methods |
| AG Grundlagen der Informatik | FB Informatik | TU Kaiserslautern |