Showing 1 - 7 results of 7 for search 'Kroening, Daniel', query time: 0.03s Narrow Search
  1. 1
    Decision Procedures An Algorithmic Point of View
    by Kroening, Daniel, Strichman, Ofer
    Published 2016
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Decision Procedures An Algorithmic Point of View
    by Kroening, Daniel, Strichman, Ofer
    Published 2008
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
    Published 2014
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    Published 2015
    Other Authors: “…Kroening, Daniel…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
    Published 2015
    Other Authors: “…Kroening, Daniel…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  6. 6
    Validation of Evolving Software
    Published 2015
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  7. 7
    Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
    Published 2011
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: