Veneri, Elisa and Giacobazzi, Roberto (rel.) and Dovier, Agostino (correl.) (2000) [BM Tesi I 0032]. - Programmazione con vincoli di sicurezza. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.