Suchergebnisse - Shankaranarayanan, Krishna

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

    Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Shankaranarayanan, Krishna …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Shankaranarayanan, Krishna …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: