Resultados da pesquisa - Marieke Huisman

  • A mostrar 1 - 1 resultados de 1
Refinar resultados
  1. Imagem da capa

    Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice... Por Dirk Beyer, Marieke Huisman

    Publicado em 2021
    Obter o texto integral
    Online
    Adic. favoritos
    Na minha lista:

Ferramentas de pesquisa: