Treffer 1 - 1 von 1 für Suche 'Korenkov, Iu.D.', Suchdauer: 0,22s Treffer weiter einschränken
  1. 1
    Verification of dynamic memory allocators based on symbolic program execution

    Verification of dynamic memory allocators based on symbolic program execution von Dergachev, A.M., Sadyrin, D.S., Ilina, A.G., Loginov, I.P., Korenkov, Iu.D.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: