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

Preuve de programmes. Processus IDM
Validation des algorithmes en UML et OCL

Auteur(s) : Pierre BAZEX, Agusti CANALS

Date de publication : 10 août 2013