Article de référence | Réf : SE2525 v1

Perspectives d'avenir
Méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés

Auteur(s) : Jacques VALANCOGNE

Date de publication : 10 janv. 2012