Report copyright - IMT Institute for Advanced Studies, Luccae-theses.imtlucca.it/11/1/Bucchiarone_phdthesis.pdfFormal Specification and Validation of Dynamic Software Architectures. A. Bucchiarone
Please pass captcha verification before submit form
Please pass captcha verification before submit form