Releases by Thomas Ball

In stock at iMusic Show unavailable items

Cover for Thomas Ball · Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2006 edition] (2006)

Computer Aided Verification: 18t... (2006)

Cover for Thomas Ball · Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2003 edition] (2003)

Model Checking Software: 10th In... (2003)