Search Results - Lal, Akash

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

    Computer aided verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023 : proceedings, part I

    Published 2023
    Other Authors: “…Lal, Akash…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  2. 2
    Cover Image

    Computer aided verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023 : proceedings, part III

    Published 2023
    Other Authors: “…Lal, Akash…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  3. 3
    Cover Image

    Verified software: theories, tools and experiments : 14th international conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, revised selected papers

    Published 2023
    Other Authors: “…Lal, Akash…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  4. 4
    Cover Image

    Computer aided verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023 : proceedings, part II

    Published 2023
    Other Authors: “…Lal, Akash…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  5. 5
    Cover Image

    36th IARCS annual conference on foundations of software technology and theoretical computer science: FSTTCS 2016, December 13-15, 2016, Chennai, India

    Published 2016
    Other Authors: “…Lal, Akash…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  6. 6
    Cover Image

    Verified software: theories, tools and experiments : 14th international conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 : revised selected papers

    Published 2023
    Other Authors: “…Lal, Akash…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  7. 7
    Cover Image

    Computer aided verification: 35th international conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings

    Published 2023
    Other Authors: “…Lal, Akash…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  8. 8
    Cover Image

    Computer aided verification: 35th international conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings
    Part 3

    Published 2023
    Other Authors: “…Lal, Akash…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  9. 9
    Cover Image

    Computer aided verification: 35th international conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings
    Part 1

    Published 2023
    Other Authors: “…Lal, Akash…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  10. 10
    Cover Image

    Computer aided verification: 35th international conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings
    Part 2

    Published 2023
    Other Authors: “…Lal, Akash…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:

Search Tools: