Mostrando 1 - 3 Resultados de 3 Para Buscar 'Barthe, Gilles, 1967-', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010 ; Madrid, Spain, January 17-19, 2010 ; proceedings
    Publicado 2010
    Otros Autores: “…Barthe, Gilles, 1967-…”
    Libro electrónico
  2. 2
    Engineering secure software and systems : 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings
    Publicado 2012
    Otros Autores: “…Barthe, Gilles, 1967-…”
    Libro electrónico
  3. 3
    Foundations of Probabilistic Programming
    Publicado 2021
    Otros Autores:
    Libro electrónico

Herramientas de búsqueda: