Construction of Abstract State Graphs for Understanding Event-B Models.

Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden

Browse the full SETTA paper archive.