

Siguranța și securitatea software-ului
Cursul acoperă tehnici fundamentale de analiză a programelor, bazate pe tipuri și logică, pentru identificarea comportamentelor nepermise, verificarea absenței acestora și explorarea instrumentelor care implementează aceste tehnici.







































