You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw
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

Careers

Website

© 2024 University of Warsaw. All rights reserved.