Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Faifel, Boris L."'
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 mathema
Externí odkaz:
http://arxiv.org/abs/1901.03414
