CHAIR OF

SOFTWARE ENGINEERING

You can send a message to: Kornelia Rulf
Your reference page: Verification Environment for Critical Systems (VECS)