Data di Pubblicazione:
2023
Citazione:
Incrementally predictive runtime verification / Ferrando, Angelo; Delzanno, Giorgio. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - 33:4(2023), pp. 796-817. [10.1093/logcom/exad012]
Tipologia CRIS:
Articolo su rivista
Elenco autori:
Ferrando, Angelo; Delzanno, Giorgio
Link alla scheda completa:
Pubblicato in: