Refining Action Systems within B-Tool.

Marina Waldn, Kaisa Sere

Browse the full FM paper archive.