Treffer 1 - 2 von 2 für Suche 'Promsky, Alexei V.', Suchdauer: 0,24s 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:

Suchwerkzeuge: