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

Mathematical foundations of specification and correctness analysis of information systems

Principal investigator
prof. dr hab. Damian Niwiński
Contract number
8T11C 027 16
Starting date
Jan. 1, 1999
Ending date
Dec. 30, 2000
Financed by
State Committee for Scientific Research
Participants
dr hab. Damian Niwiński, dr Jerzy Tyszkiewicz, dr Igor Walukiewicz, Tomasz Urbański, mgr Zbigniew Łukasiak

Careers

Website

© 2024 University of Warsaw. All rights reserved.