Skip to main content

Automated Reasoning with Theories and Induction for Software Technology

Project description

A mathematical approach for reliable software engineering

Host institution

TECHNISCHE UNIVERSITAET WIEN
Net EU contribution
€ 2 000 000,00
Address
Karlsplatz 13
1040 Wien
Austria

See on map

Region
Wien Wien
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00

Beneficiaries (1)

TECHNISCHE UNIVERSITAET WIEN
Austria
Net EU contribution
€ 2 000 000,00
Address
Karlsplatz 13
1040 Wien

See on map

Region
Wien Wien
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00