Publication Date:
2023
Short description:
Verification of Reaction Systems Processes / Brodo, L., Bruni, R., Falaschi, M.. - 238:(2023), pp. 243-264. [10.1007/978-981-19-9601-6_13]
Iris type:
2.1 Contributo in volume (Capitolo o Saggio)
List of contributors:
Brodo, L.; Bruni, R.; Falaschi, M.
Book title:
Challenges of Software Verification
Published in: