Contact the person responsible for the project "Model Checking Techniques for Design and Analysis of Future Hardware and Software Systems"

This address will be used to follow up on your feedback.