You are not logged in |
Return to the list of grants
Counting models in formal verification
- Principal investigator
- dr Filip Mazowiecki
- Contract number
- UMO-2022/46/E/ST6/00230
- Starting date
- Oct. 2, 2023
- Ending date
- Oct. 1, 2028
- Financed by
- National Science Center
- Type
- Sonata BIS
- Amount awarded
- 2,009,400 PLN
