Vers Une D?marche de V?rification Formelle D Architectures Logicielles
-
pocket
,
Franska, 2018