Prof. Dr. Nicola Fausto Spoto

Aktuelle Kontaktadresse

Land	Italien
Ort	Verona
Universität/Institution	Universita degli Studi di Verona
Institut/Abteilung	Computer Science

Fachgebiet	Informatik
Keywords	Termination analysis, Static analysis, Abstract interpretation, Program semantics, Program verification