Search Results - Shoham, Sharon

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Cover Image

    Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.

    Published 2022
    Other Authors: “…Shoham, Sharon…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

    Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.

    Published 2022
    Other Authors: “…Shoham, Sharon…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  3. 3
    Cover Image

    Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.

    Published 2022
    Other Authors: “…Shoham, Sharon…”
    Full Text (via EBSCO)
    Conference Proceeding eBook

    Save to List
    Saved in:
  4. 4
    Cover Image

    Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.

    Published 2022
    Other Authors: “…Shoham, Sharon…”
    Full Text (via EBSCO)
    Conference Proceeding eBook

    Save to List
    Saved in:
  5. 5
    Cover Image

    Verification, model checking, and abstract interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, proceedings /

    Published 2021
    Other Authors: “…Shoham, Sharon…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search