At ETAPS, VerCors will be presented as a poster and during the tool demo session on Wednesday April 10, 14:00 – 16:00. Come and talk to us if you are interested to learn more about VerCors.