Proof-oriented domain-specific language design for high-assurance ...
... Shift » au « Refactoring ». ?Les outils d'inventaire, de cartographie et de dépendance au SI. Comment évaluer les coûts ? ?Panorama des outils natifs ou ...Télécharger Proof-oriented domain-specific language design for high-assurance ... pdf
