Extracting Traceability between Predicates in Event-B Refinement.

Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden

Browse the full APSEC paper archive.