Towards Generating SPARK from Event-B Models.

Sanjeevan Sritharan, Thai Son Hoang

Browse the full IFM paper archive.