Person

Back to overview Show all

Projects as member of staff

Responsible applicant Institution of higher education Start End date Funding scheme

Guiding SMT-Based Interpolation for Program Verification
Sharygina Natasha Università della Svizzera italiana - USI 01.03.2016 28.02.2018 Project funding (Div. I-III)

-