Treffer 1 - 3 von 3 für Suche 'Promsky, Alexei V.', Suchdauer: 0,48s Treffer weiter einschränken
  1. 1
    The Complex Approach of the C-lightVer System to the Automated Error Localization in C-programs

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Platform-independent Specification and Verification of the Standard Mathematical Square Root Function

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Proof Strategy for Automated Sisal Program Verification

    Proof Strategy for Automated Sisal Program Verification von Kondratyev, Dmitry, Promsky, Alexei


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: