Toggle navigation
Home
People
Departments
Research
About
Login
Search
Towards "Mouldable Code" as a Better Approach to Synthesis of Efficient and Correct Software
Grant
Overview
Affiliation
View All
Overview
date/time interval
April 1, 2018 - March 31, 2020
awarded by
Natural Sciences and Engineering Research Council
total award amount
CAD 40000
Affiliation
contributor
Kahl, Wolfram
Funded by