Developing A New Language to Construct Algebraic Hierarchies for Event-B.

James Snook, Michael J. Butler, Thai Son Hoang

Browse the full SETTA paper archive.