Telecharger Cours

Formal verification of a methodology for the design and production ...

... formation de HILECOP préserve le comportement de tous modèles initiaux. La mécanisation complète de la preuve avec Coq est un travail en cours ...



Download