Rigorous State-Based Methods. 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

Edited Book

Publication Date:

2024

Short description:

(2024). Rigorous State-Based Methods. 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings [edited proceedings - curatela di Atti di convegno]. Retrieved from https://hdl.handle.net/10446/274192

Iris type:

1.6.01 Curatele - Edited books

List of contributors:

Bonfanti, Silvia; Gargantini, Angelo Michele; Leuschel, Michael; Riccobene, Elvinia; Scandurra, Patrizia

Authors of the University:

BONFANTI Silvia

GARGANTINI Angelo Michele

SCANDURRA Patrizia

Handle:

https://aisberg.unibg.it/handle/10446/274192

Published in:

LECTURE NOTES IN COMPUTER SCIENCE

Series

Overview
Research

URL

https://link.springer.com/book/10.1007/978-3-031-63790-2

Concepts

Academic field (2000 version)

Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni

Rigorous State-Based Methods. 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

Bonfanti, Silvia; Gargantini, Angelo Michele; Leuschel, Michael; Riccobene, Elvinia; Scandurra, Patrizia

LECTURE NOTES IN COMPUTER SCIENCE

Overview

URL

Research

Concepts