CLAN: A Tool for Contract Analysis and Conflict Discovery

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04761-9_8 ◽

2009 ◽

pp. 90-96 ◽

Author(s):

Stephen Fenech ◽

Gordon J. Pace ◽

Gerardo Schneider

Download Full-text