Mostrando 1 - 3 Resultados de 3 Para Buscar 'Jhala, Ranjit', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA
    por Jhala, Ranjit
    Publicado 2011
    Otros Autores: “…Jhala, Ranjit…”
    Libro electrónico
  2. 2
    Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings
    Publicado 2011
    Otros Autores: “…Jhala, Ranjit…”
    Libro electrónico
  3. 3
    PLDI '22 : proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation : June 13-17, 2022, San DIego, CA, USA
    Publicado 2022
    Otros Autores: “…Jhala, Ranjit, editor…”
    Libro electrónico
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda