Eddie B. de Lima Filho

ESBMC-Python aiuta a verificare la correttezza del codice Python usando le annotazioni di tipo e il controllo modello limitato.