Mostrando 1 - 4 Resultados de 4 Para Buscar 'Ganesh, Vijay', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    6th International Workshop on Constraints in Software Testing, Verification, and Analysis : proceedings : May 31, 2014, Hyderabad, India
    por Ganesh, Vijay
    Publicado 2014
    Otros Autores: “…Ganesh, Vijay…”
    Libro electrónico
  2. 2
    Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I
    por Gurfinkel, Arie
    Publicado 2024
    Otros Autores:
    Libro electrónico
  3. 3
    Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
    por Gurfinkel, Arie
    Publicado 2024
    Otros Autores:
    Libro electrónico
  4. 4
    Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III
    por Gurfinkel, Arie
    Publicado 2024
    Otros Autores:
    Libro electrónico

Herramientas de búsqueda: