Search results

Create the page "Tsutomu" on this wiki! See also the search results found.

• Rodin Workshop 2013
  *Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden: ''Systematic Planning of
  4 KB (521 words) - 13:15, 13 June 2013
• Rodin Workshop 2016
  ...Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines - ''Tsutomu Kobayashi, Aivar Kripsaar, Fuyuki Ishikawa and Shinichi Honiden'' ([[Media:
  5 KB (664 words) - 18:29, 6 June 2016