Return to the list of grants
Counting models in formal verification
- Principal investigator
- dr Filip Mazowiecki
- Contract number
- 2022/46/E/ST6/00230
- Starting date
- Oct. 2, 2023
- Ending date
- Oct. 2, 2023
- Financed by
- National Science Center