M. Bidoit

发表

A. Kurz, M. Bidoit, R. Hennicker, 2022 .
Hans-Jörg Kreowski, Fernando Orejas, Donald Sannella, 1991, Lecture Notes in Computer Science.
D. Sannella, M. Bidoit, P. Mosses, 1999 .
D. Sannella, M. Bidoit, A. Tarlecki, 2001 .
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001, Springer Berlin Heidelberg.
Peter D. Mosses, Michel Bidoit, Bernd Krieg-Brückner, 2002, Theor. Comput. Sci..
Heinrich Hußmann, Michel Bidoit, Rolf Hennicker, 2002, Object Modeling with the OCL.
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001 .
Michel Bidoit, Gilles Bernot, Teodor Knapik, 1994, Acta Informatica.
Michel Bidoit, Rolf Hennicker, M. Bidoit, 1992, Larch.
Martin Wirsing, Michel Bidoit, Rolf Hennicker, 1997, Theor. Comput. Sci..
Michel Bidoit, Frédéric Voisin, M. Bidoit, 1995, COMPASS/ADT.
Peter D. Mosses, Michel Bidoit, M. Bidoit, 2004, Lecture Notes in Computer Science.
Michel Bidoit, Jacques Corbin, M. Bidoit, 1983, IFIP Congress.
Michel Bidoit, Rolf Hennicker, M. Bidoit, 1996, Theor. Comput. Sci..
Michel Bidoit, Andrzej Tarlecki, M. Bidoit, 1996, CAAP.
Martin Wirsing, Michel Bidoit, Rolf Hennicker, 1995, Sci. Comput. Program..
Michel Bidoit, Rolf Hennicker, M. Bidoit, 1995, AMAST.
Michel Bidoit, Rolf Hennicker, M. Bidoit, 1994, ALP.
Michel Bidoit, Rolf Hennicker, M. Bidoit, 1994, COMPASS/ADT.
Martin Wirsing, Michel Bidoit, Rolf Hennicker, 1994, ESOP.
Michel Bidoit, Rolf Hennicker, M. Bidoit, 1993, TAPSOFT.
Christine Choppy, Michel Bidoit, M. Bidoit, 1992, Larch.
Christine Choppy, Michel Bidoit, M. Bidoit, 1985, TAPSOFT, Vol.2.
Christine Choppy, Michel Bidoit, Frédéric Voisin, 1984, ADT.
Brigitte Biebow, Michel Bidoit, Marie-Claude Gaudel, 1984, IEEE Transactions on Software Engineering.
Christine Choppy, Michel Bidoit, Gilles Bernot, 1986, STACS.
Alexander Knapp, Michel Bidoit, Rolf Hennicker, 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin, 1987, Algebraic Methods.
Michel Bidoit, Alexandre Boisseau, M. Bidoit, 2001, WADT.
Christine Choppy, Michel Bidoit, Gilles Bernot, 1986, ESOP.
Alexander Kurz, Michel Bidoit, Rolf Hennicker, 2003, Theor. Comput. Sci..
Alexander Kurz, Michel Bidoit, Rolf Hennicker, 2001, FoSSaCS.
Christine Choppy, Michel Bidoit, Frédéric Voisin, 1996, AMAST.
Philippe Schnoebelen, Laure Petrucci, Pierre McKenzie, 2001 .
Michel Bidoit, Fernando Orejas, Hans-Jörg Kreowski, 1991 .
Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin, 1989, Sci. Comput. Program..