Risultati della ricerca - Lohn, Evan

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

    miniCodeProps: a Minimal Benchmark for Proving Code Properties di Lohn, Evan, Welleck, Sean

    Pubblicazione 2024
    Testo
    Preprint

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: