IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.
AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.
EnglishWe survey some recent developments in giving a logical reconstruction of specification-based testing via the lenses of structural proof-theory.
Why Proof-Theory Matters in Specification-Based Testing / A. Momigliano (CEUR WORKSHOP PROCEEDINGS). - In: ICTCS 2020 : 21st Italian Conference on Theoretical Computer Science / [a cura di] G. Cordasco, L. Gargano, A.A. Rescigno. - [s.l] : CEUR-WS.org, 2020. - pp. 95-100 (( Intervento presentato al 21. convegno Italian Conference on Theoretical Computer Science tenutosi a Ischia nel 2020.
| Titolo: | Why Proof-Theory Matters in Specification-Based Testing |
| Autori: | MOMIGLIANO, ALBERTO (Corresponding) |
| Settore Scientifico Disciplinare: | Settore INF/01 - Informatica Settore MAT/01 - Logica Matematica |
| Data di pubblicazione: | 2020 |
| URL: | http://ceur-ws.org/Vol-2756/paper_9.pdf |
| Tipologia: | Book Part (author) |
| Appare nelle tipologie: | 03 - Contributo in volume |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| paper_9.pdf | Publisher's version/PDF | Open Access Visualizza/Apri |
Copyright © 2021