Center for Basic Research in Program Verification (CPV)
Recipient
Lars Birkedal
Aarhus University
Project number:
00025804
Grant amount
35.390.559 DKK
Year
2019