Risultati della ricerca - Merz, Stephan

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

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

    Pubblicazione 2024
    Testo
    Preprint

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

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

    Pubblicazione 2025
    Testo
    Recurso digital

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: