Formale Ansätze in der Softwaretechnik
Laufzeit: ab 01.07.1990
Partner: Lehrst.f.Inform.syst., Univ. Paderborn (Prof. Dr. G. Engels); Comp. Science Departm., Univ. Leiden (Dr. L. Groenewegen); Inst.f.Wirtschaftsinform., Univ. Koblenz-Landau (Prof. Dr. U. Frank)