Search Results - Ganesh, Vijay

  • Showing 1 – 5 results of 5
Filter by
  1. 1
    Cover Image

    Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis
    by Ganesh, Vijay

    Published 2014

    Read online (LMU)
    Available at the library of LMU.
    Electronic eBook


    Saved in:
  2. 2
    Cover Image

    Computer aided verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part III

    Published 2024
    Other Authors: “…Ganesh, Vijay…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  3. 3
    Cover Image

    Computer aided verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part II

    Published 2024
    Other Authors: “…Ganesh, Vijay…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  4. 4
    Cover Image

    Computer aided verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part I

    Published 2024
    Other Authors: “…Ganesh, Vijay…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  5. 5
    Cover Image

    Automated technology for verification and analysis: 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, proceedings

    Published 2021
    Other Authors: “…Ganesh, Vijay…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:

Search Tools: