Skip recommendations
Mostrando 1 - 2 Resultados de 2 Para Buscar 'Seshia, Sanjit A.', tiempo de consulta: 0.01s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers /
    Publicado 2016
    Otros Autores:
    Texto Completo
    Electrónico eBook
  2. 2
    Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
    Publicado 2012
    Otros Autores:
    Texto Completo
    Electrónico eBook