Center for Basic Research in Program Verification (CPV)
Modtager
Lars Birkedal
Aarhus Universitet
Projektnummer:
00025804
Bevilliget
35.390.559 DKK
År
2019