Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
000509 | Yann Zimmermann [France] ; Diana Toma [France] | Component reuse in B using ACL2 |
This area was generated with Dilib version V0.6.33. |