Resultats de la cerca - Wasserrab, Daniel

  • Mostrar 1 - 1 resultats de 1
Refinar resultats
  1. Imatge de la portada

    From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security per Wasserrab, Daniel

    Publicat 2021
    Obtenir text complet
    Online
    Afegir a favorits
    Guardat en:

Eines de cerca: