Conversion de UML vers B par OCaml/CDuce

Vincent Szyndler


This document was translated from LATEX by HEVEA.