Showing 1 - 3 results of 3 for search 'Kuncak, Viktor', query time: 0.02s Narrow Search
  1. 1
    Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
    Published 2017
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
    Published 2012
    Other Authors: “…Kuncak, Viktor…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
    Published 2017
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: