- 1
Marianne Huchard
1
Documents
Identifiants chercheurs
- marianne-huchard
- 0000-0002-6309-7503
- IdRef : 060595175
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
|
Modélisation et vérification formelles en B d’architectures logicielles à trois niveauxCIEL: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.71-77
Communication dans un congrès
hal-01244431v1
|