Search academic texts

Information × Registration Number 0116U004732, ( 0217U006013  0218U001338  0219U000269  ) R & D request Title Methods of computer algebra and insertion modeling in static analysis systems and software verification. Head Львов Михайло Сергійович, Registration Date 14-03-2016 Organization Kherson State University popup.description1 popup.nrat_date 2024-12-10 Close