You are not logged in | Log in
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