01219nbm0a2200325 450 TSI020090920081008222746.0IT2003-2140TTD198720040506f |||y0itay01 baitaIT|||| 0||||Software architecture for testing, coordination and views model checkingdottorato di ricerca in informaticaHenry Mucciniadvisor: Paola InverardiUniversità degli studi dell'Aquila, Università di Roma La Sapienza, Università di Roma Tor Vergata[S.l.][S.n.]20021 v13. ciclo00412Muccini, HenryInverardi, PaolaUniversità degli studi<L'Aquila>Università degli studi La Sapienza<Roma>Università degli studi<Roma; 2.>ITUOL20040506dBibl. Nazionale Centrale FirenzeCFTDR 2002 00909CF9802009095TDR 2002 00909NBibl. Nazionale Centrale Di Firenze CFTDR 2002 00909 CFTVD980200909 L NOFORTE CFTDTD