Preserving Correctness of Requirements Evolution through Refinement in Event-B.

Kriangkrai Traichaiyaporn, Toshiaki Aoki

Browse the full APSEC paper archive.