Thomas Ball (3)
Author of Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues)
For other authors named Thomas Ball, see the disambiguation page.
Works by Thomas Ball
Tagged
Common Knowledge
There is no Common Knowledge data for this author yet. You can help.
Members
Reviews
No reviews found.
Statistics
- Works
- 1
- Members
- 2
- Popularity
- #2,183,608
- ISBNs
- 5