project . 2020 - 2022
Funder: EC Project Code: 893732
Overall Budget: 175,572 EURFunder Contribution: 175,572 EUR
Open Access mandate for Publications and Research Data
Partners: University of Twente
Virtually all aspects of society, industry and science are significantly impacted by increasingly complex computers and the software that they run. A major objective within computer science is to ensure that these computer systems are formally correct by developing ways...