2008

  • Michael Leuschel, Mireille Samia, Jens Bendisposto, Li Luo
    Easy Graphical Animation and Formula Viewing for Teaching B.
    In The B Method: from Research to Teaching, C. Attiogbé and H. Habrias, Lina, 17--32, 2008.