Dwivedi Ashish Kumar

Formalizzazione E Verifica Dei Modelli Dello Stile Architettonico Del Software

Formalisierung Und Modellprüfung Des Softwarearchitekturstils

Formalizacja I Sprawdzanie Modeli Stylu Architektury Oprogramowania

Formalisation Et Vérification De Modèles De Styles Architecturaux Logiciels

Formalização E Verificação De Modelos De Estilo Arquitetural De Software