Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
000294 | Akram Idani [France] ; Yves Ledru [France] ; Didier Bert [France] | Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : Formalisation, preuve et extension pour la prise en compte des raffinements B |
This area was generated with Dilib version V0.6.33. |