Versions - Computer Aided Verification

Sugestões de Tópicos dentro de sua pesquisa.
  • A mostrar 1 - 3 resultados de 3
Refinar resultados
  1. 1
    Imagem da capa

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

    Publicado em 2022
    Link to Metadata
    Recurso Electrónico livro electrónico

    Adic. favoritos
    Na minha lista:
  2. 2
    Imagem da capa

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

    Publicado em 2022
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Electrónico Capítulo de Livro

    Adic. favoritos
    Na minha lista:
  3. 3
    Imagem da capa

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

    Publicado em 2022
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Recurso Electrónico Capítulo de Livro

    Adic. favoritos
    Na minha lista:

Ferramentas de pesquisa: