Understanding and Planning Event-B Refinement through Primitive Rationales

Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden. Understanding and Planning Event-B Refinement through Primitive Rationales. In Yamine Aït Ameur, Klaus-Dieter Schewe, editors, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings. Volume 8477 of Lecture Notes in Computer Science, pages 277-283, Springer, 2014. [doi]

Authors

Tsutomu Kobayashi

This author has not been identified. Look up 'Tsutomu Kobayashi' in Google

Fuyuki Ishikawa

This author has not been identified. Look up 'Fuyuki Ishikawa' in Google

Shinichi Honiden

This author has not been identified. It may be one of the following persons: Look up 'Shinichi Honiden' in Google