226 followers
Formal Verification of Industrial Critical Software. - Marielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann… http://t.co/RAtQSi4rUC
Formal Verification of Industrial Critical Software. - Marielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann… http://t.co/RAtQSi4rUC