科研项目详细信息
Quality of Interpolants in Model Checking | |
Sharygina Natasha | |
Università della Svizzera italiana - USI | |
keywords:Program Validation and Reliability | |
keywords: | |
Subject:社会科学、人文和艺术(综合) | |
瑞士|英语 | |
2015至2015 | |
Source: 瑞士国家科学基金会 | |
Link: http://p3.snf.ch/Pages/DataAndDocumentation.aspx |