Verisoft XT is a three-year research project funded by the German Federal Ministry of Education and Research (BMBF). Project management agency is the …
Verisoft is a long-term research project funded by the Federal Ministry of Education and Research (bmb+f). Project administrating organization is the …