Search academic texts

Information × Registration Number 0119U002220, ( 0222U003964  ) R & D request Title Develop formal methods for detecting vulnerabilities in software systems Head Letychevskyi Oleksandr O., Registration Date 15-02-2019 Organization V.M. Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine popup.description1 popup.nrat_date 2024-12-10 Close