Data di Pubblicazione:
2023
Citazione:
Verification of Reaction Systems Processes / Brodo, L.; Bruni, R.; Falaschi, M.. - 238:(2023), pp. 243-264. [10.1007/978-981-19-9601-6_13]
Tipologia CRIS:
2.1 Contributo in volume (Capitolo o Saggio)
Elenco autori:
Brodo, L.; Bruni, R.; Falaschi, M.
Link alla scheda completa:
Titolo del libro:
Challenges of Software Verification
Pubblicato in: