Risultati della ricerca - Victor Ferman

  • Mostra 1 - 1 risultati su 1
Raffina i risultati
  1. 1
    Copertina

    A Model Checker for the Verification of Browser Based Protocols Autoría: Victor Ferman

    Pubblicazione 2017
    Fuente: Redalyc
    Tipo de material: Artículo científico
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: