Showing 1 - 5 results of 5 for search 'Ball, Thomas', query time: 0.03s Refine Results
  1. 1
    Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2011
    Other Authors: “…Ball, Thomas…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Proceedings of the 2nd conference on Domain-specific languages
    Published 1999
    Other Authors: “…Ball, Thomas…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
    Published 2003
    Other Authors: “…Ball, Thomas…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Published 1998
    Other Authors: “…Ball, Thomas…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 5
    Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Published 2006
    Other Authors: “…Ball, Thomas…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search