Managing LTL Properties in Event-B Refinement.

Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams

Browse the full IFM paper archive.