Résultats de la recherche - Merz, Stephan

  • Résultat(s) 1 - 2 résultats de 2
Affiner les résultats
  1. 1
    Image de couverture de livre

    Validating Traces of Distributed Programs Against TLA+ Specifications Autoría: Cirstea, Horatiu, Kuppe, Markus A., Loillier, Benjamin, Merz, Stephan

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Image de couverture de livre

    VerifyThis Casino Challenge Artifact Repository Autoría: Weigl, Alexander, Merz, Stephan, Schiffl, Jonas, Becker-Kupczok, Jonas, Eilers, Marco, Ahrendt, Wolfgang, Monti, Raul E., Bliudze, Simon

    Publié 2025
    Fuente: Zenodo
    Tipo de material: Recurso digital
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:

Outils de recherche: