Uno studio sull'efficacia di checker automatici per la modernizzazione di codice C++.
Presentazione: uno studio sull'efficacia di checker automatici per la modernizzazione di codice C++
Thanatos - Parallel & Distributed Computing