Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Promsky Aleksey Vladimirovich"'
Autor:
Shilov Nikolay Vyacheslavovich, Anureev Igor Sergeevich, Bodin Evgeniy Viktorovich, Kondratiev D., A., Promsky Aleksey Vladimirovich, Shilova Svetlana Olegovna, Faifel Boris Leonidovich
Research project “Platform-independent approach to formal specification and verification of standard mathematical functions” is aimed onto a development of an incremental combined approach to the specification and verification of the standard mat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33815f510c1ff55c39652e0a9291bc9e
