Open menu
Byron Cook,Mar a. Alpuente,Christophe Joubert
Formal Methods for Industrial Critical Systems