Communication Dans Un Congrès
Année : 2009
Flavio Oquendo : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00514756
Soumis le : vendredi 3 septembre 2010-08:56:35
Dernière modification le : vendredi 8 octobre 2021-18:50:10
Dates et versions
Identifiants
- HAL Id : hal-00514756 , version 1
Citer
Flavio Oquendo. On the Correctness of Software Architectures: Formal Specification of Correctness Properties using π-AAL. Fifth International Conference on Software and Data Technologies (ICSOFT 2009), Jul 2009, Sofia, Bulgaria. pp.208-217. ⟨hal-00514756⟩
31
Consultations
0
Téléchargements