Information × Registration Number 0108U002463, R & D request Title Formal specifications of the program systems Head Редько Володимир Никифорович, Registration Date 27-05-2008 Organization Taras Shevchenko National University of Kyiv popup.description1 popup.nrat_date 2024-12-10 Close