Symbol Elimination in Reliable System Engineering

01.06.2019 - 30.11.2020
Research funding project

People

Project leader

Institute

Grant funds

  • European Commission (EU) H2020 I.1. ERC European Research Council Pillar Excellent Science Framework programme Horizon 2020 European Commission Call identifier ERC-2018-PoC Application number 842066

Research focus

  • Logic and Computation: 100%

Publications