Vers Une D?marche de V?rification Formelle D Architectures Logicielles
-
pokkari
,
Ranska, 2018