A tool for specification and semi-automatic implementation.

Christine Rieu, Jean-Jacques Mercier, Marie-Claude Vialatte

Browse the full ICCC paper archive.