Search results
From Event-B
Jump to navigationJump to searchCreate the page "Tsutomu" on this wiki! See also the page found with your search.
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