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

Specification construction and software verification

Principal investigator
prof. dr hab. Andrzej Tarlecki
Contract number
2013/11/B/ST6/01381
Starting date
July 16, 2014
Ending date
June 15, 2018
Financed by
National Science Center
Participants
dr hab. Aleksy Schubert dr Jacek Chrząszcz mgr Jakub Zakrzewski mgr Patryk Czarnik

Careers

Website

© 2024 University of Warsaw. All rights reserved.