Logiciels destinés aux systèmes programmés importants pour la sûreté des centrales nucléaires
-
heftet
,
Fransk, 2004