Ribeiro, P.,
Ye, K.,
Zeyda, F. &
Miyazawa, A.,
1 Sept 2024,
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): The Application of Formal Methods. Foster, S. & Sampaio, A. (eds.).
Springer Science and Business Media Deutschland GmbH,
Vol. 14900.
p. 261-305 45 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14900 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Chapter