Marie-Claude Gaudel And NotRoyaume-Uni
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000022 | Abderrahmane Feliachi [France] ; Marie-Claude Gaudel [France] ; Burkhart Wolff [France] | Isabelle/ Circus : A Process Specification and Verification Environment |
000124 | Abderrahmane Feliachi [France] ; Marie-Claude Gaudel [France] ; Burkhart Wolff [France] | Unifying Theories in Isabelle/HOL |
This area was generated with Dilib version V0.6.31. |