Resultados da busca - Alexei V. Promsky

The Complex Approach of the C-lightVer System to the Automated Error Localization in C-programs por Dmitry A. Kondratyev, Alexei V. Promsky

Obter o texto integral

Platform-independent Specification and Verification of the Standard Mathematical Square Root Function por Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Eugene V. Bodin, Alexei V. Promsky

Obter o texto integral