Treffer 1 - 4 von 4 für Suche 'Nehaï, Zeinab', Suchdauer: 0,53s Treffer weiter einschränken
  1. 1
    Deductive Proof of Industrial Smart Contracts Using Why3

    Deductive Proof of Industrial Smart Contracts Using Why3 von Nehaï, Zeinab, Bobot, François


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Formalisation et vérification des systèmes blockchain

    Formalisation et vérification des systèmes blockchain von Nehaï, Zeinab

    Volltext bestellen
    Dissertation

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Deductive Proof of Ethereum Smart Contracts Using Why3

    Deductive Proof of Ethereum Smart Contracts Using Why3 von Nehai, Zeinab, Bobot, François

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Deductive Proof of Ethereum Smart Contracts Using Why3

    Deductive Proof of Ethereum Smart Contracts Using Why3 von Nehai, Zeinab, Bobot, François

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: