Dipartimento di Matematica e Informatica

Facoltà di Scienze MFN dell'Università di Udine

Correttezza dei programmi iterativi