The Verification Configuration and Scheduling Gourp (VeCoS) has been merged with the Algorithms Group into the Computation Logic and Algorithm (CLA).
You will be redirected to the homepage of the CLA group in 5 seconds.
If nothing happens Click Here