Search results
From Event-B
Jump to navigationJump to searchCreate the page "Tsutomu" on this wiki! See also the search results found.
File:SlideAndMerge - A Rodin plug-in for refactoring refinement structure of Event-B machines.pdf ...A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines (Tsutomu Kobayashi, Aivar Kripsaar, Fuyuki Ishikawa and Shinichi Honiden)(131 KB) - 20:49, 30 April 2020- *Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden: ''Systematic Planning of4 KB (521 words) - 13:15, 13 June 2013
- ...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