Search academic texts

Information × Registration Number 0102U000496, ( 0205U004483  ) R & D request Title Elaborate deductive methods for the verification of software and mathematical theorems. Head Капітонова Юлія Володиміровна, Registration Date 08-02-2002 Organization V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine popup.description1 popup.nrat_date 2024-12-11 Close