CLAN: A Tool for Contract Analysis and Conflict Discovery.

Stephen Fenech, Gordon J. Pace, Gerardo Schneider

Browse the full ATVA paper archive.