Skip to main content

Automated Reasoning with Theories and Induction for Software Technology

Project description

A mathematical approach for reliable software engineering

Call for proposal

ERC-2020-COG
See other projects for this call

Host institution

TECHNISCHE UNIVERSITAET WIEN
Address
Karlsplatz 13
1040 Wien
Austria
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 2 000 000

Beneficiaries (1)

TECHNISCHE UNIVERSITAET WIEN
Austria
EU contribution
€ 2 000 000
Address
Karlsplatz 13
1040 Wien
Activity type
Higher or Secondary Education Establishments