Search Results - Alexei V. Promsky

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

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

    Get full text
    Article


  2. 2

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

    Get full text
    Article


Search Tools: